Conference Papers
Year : 2014
Blazo Nastov : Connect in order to contact the contributor
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01377604
Submitted on : Friday, October 7, 2016-11:33:01 AM
Last modification on : Tuesday, September 17, 2024-4:03:06 PM
Dates and versions
Identifiers
- HAL Id : lirmm-01377604 , version 1
Cite
Blazo Nastov. Contribution to model verification: operational semantic for System Engineering modeling languages. CIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.88-90. ⟨lirmm-01377604⟩
Collections
51
View
0
Download