2 papers
cs.SE2021
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…
cs.SE2020
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…