A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics

Christophe Dony 1 Blazo Nastov 2 Vincent Chapurlat 3 François Pfister 3
1 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 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
CSD&M: Complex Systems Design & Management, Nov 2014, Paris, France. 5th International Conference on Complex Systems Design & Management, 2014, 〈http://www.csdm2014.csdm.fr〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01935532
Contributeur : Christophe Dony <>
Soumis le : lundi 26 novembre 2018 - 17:32:08
Dernière modification le : jeudi 29 novembre 2018 - 01:18:44

Identifiants

  • HAL Id : lirmm-01935532, version 1

Collections

Citation

Christophe Dony, Blazo Nastov, Vincent Chapurlat, François Pfister. A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics. CSD&M: Complex Systems Design & Management, Nov 2014, Paris, France. 5th International Conference on Complex Systems Design & Management, 2014, 〈http://www.csdm2014.csdm.fr〉. 〈lirmm-01935532〉

Partager

Métriques

Consultations de la notice

17