2 citations · 2 across the 1 of their papers we have counts for
2 papers
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…
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…