2 citations · 3 across the 3 of their papers we have counts for
1 paper · 2 filters
Pascal André, Christian Attiogbé, Arnaud Lanoix
This paper presents a solution to the landing gear system case study using Event-B and Rodin. We study the whole system (both the digital part and the controlled part). We use feat…