Conference Papers
Year : 2021
Christian Attiogbé : Connect in order to contact the contributor
https://hal.science/hal-04093796
Submitted on : Wednesday, May 10, 2023-2:17:58 PM
Last modification on : Tuesday, August 27, 2024-12:55:10 PM
Dates and versions
Identifiers
- HAL Id : hal-04093796 , version 1
- ARXIV : 2012.13671
- DOI : 10.1007/978-3-030-78428-7_4
Cite
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⟩
20
View
0
Download