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

Blazo Nastov
Laboratoire de Génie Informatique et Ingénierie de Production

Domains

Modeling and Simulation Software Engineering [cs.SE]

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

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EM-ALES LIRMM TDS-MACS INSTITUT-MINES-TELECOM
51 View
0 Download

Share

More