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

Blazo Nastov 1
1 ISOE-LGI2P - Interoperable System & Organization Engineering
LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
Type de document :
Communication dans un congrès
CIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. 3ème Conférence en IngénieriE du Logiciel, pp.88-90, 2014, 〈http://ciel2014.i3s.unice.fr/〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01377604
Contributeur : Blazo Nastov <>
Soumis le : vendredi 7 octobre 2016 - 11:33:01
Dernière modification le : lundi 15 janvier 2018 - 13:10:03

Identifiants

  • HAL Id : lirmm-01377604, version 1

Collections

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. 3ème Conférence en IngénieriE du Logiciel, pp.88-90, 2014, 〈http://ciel2014.i3s.unice.fr/〉. 〈lirmm-01377604〉

Partager

Métriques

Consultations de la notice

24