Multi-facets Contract for Modeling and Verifying Heterogeneous Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Multi-facets Contract for Modeling and Verifying Heterogeneous Systems

Dates et versions

hal-04093796 , version 1 (10-05-2023)

Identifiants

Citer

A. Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi. Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. Model and Data Engineering (MEDI'2021), Jun 2021, Tallinn, Estonia. pp.41-49, ⟨10.1007/978-3-030-78428-7_4⟩. ⟨hal-04093796⟩
9 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More