External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Multi-facets Contract for Modeling and Verifying Heterogeneous Systems

A. Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi. Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. In J. Christian Attiogbé, Sadok Ben Yahia, editors, Model and Data Engineering - 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings. Volume 12732 of Lecture Notes in Computer Science, pages 41-49, Springer, 2021. [doi]

Authors

A. Abdelkader Khouass

This author has not been identified. Look up 'A. Abdelkader Khouass' in Google

J. Christian Attiogbé

This author has not been identified. It may be one of the following persons: Look up 'J. Christian Attiogbé' in Google

Mohamed Messabihi

This author has not been identified. Look up 'Mohamed Messabihi' in Google
runs on