Skip to Main content Skip to Navigation
Conference papers

Contribution to model verification: operational semantic for System Engineering modeling languages

Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01377604
Contributor : Blazo Nastov Connect in order to contact the contributor
Submitted on : Friday, October 7, 2016 - 11:33:01 AM
Last modification on : Friday, June 18, 2021 - 1:42:01 PM

Identifiers

  • HAL Id : lirmm-01377604, version 1

Citation

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⟩

Share

Metrics

Record views

99