Communication Dans Un Congrès
Année : 2014
Blazo Nastov : Connectez-vous pour contacter le contributeur
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01377604
Soumis le : vendredi 7 octobre 2016-11:33:01
Dernière modification le : mardi 17 septembre 2024-16:03:06
Dates et versions
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⟩
Collections
53
Consultations
0
Téléchargements