1 paper
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…