2 citations · 2 across the 1 of their papers we have counts for
3 papers
Modeling and Analysis of the Landing Gear System with the Generalized Contracts
Abdelkader Khouass, christian attiogbé, mohamed messabihi
Nowadays, there are several complex systems in different sectors such as aviation, air traffic control ...etc. These systems do not have a precise perimeter, they are open and made…
Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems
Abdelkader Khouass, Christian Attiogbé, Mohamed Messabihi
Critical and cyber-physical systems (CPS) that exist in large industries, such as nuclear power plants, railway, automotive or aeronautical industries are complex heterogeneous sys…
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…