Contribution to model verification: operational semantic for System Engineering modeling languages - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2014

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

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : lirmm-01377604 , version 1

Citer

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⟩
53 Consultations
0 Téléchargements

Partager

More