2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.SE2018
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin
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…
cs.SE2010★ 2 cited
Multilevel Contracts for Trusted Components
Mohamed Messabihi, Pascal André, Christian Attiogbé
This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as…