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