Contribution to model verification: operational semantic for System Engineering modeling languages - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2014

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

No file

Dates and versions

lirmm-01377604 , version 1 (07-10-2016)

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⟩
51 View
0 Download

Share

More