2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2017
Mastering Heterogeneous Behavioural Models
J. Christian Attiogbé
Heterogeneity is one important feature of complex systems, leading to the complexity of their construction and analysis. Moving the heterogeneity at model level helps in mastering…
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…