Multi-facets Contract for Modeling and Verifying Heterogeneous Systems.

A. Abdelkader Khouass, J. Christian Attiogb, Mohamed Messabihi

Browse the full MEDI paper archive.