A MDE verification approach applied to System Engineering: xeFFBD dynamic semantics

Blazo Nastov Vincent Chapurlat 1 Christophe Dony 2 François Pfister 3
1 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
2 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
3 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
F. Boulanger, D. Krob, G. Morel, J-C. Roussel. CSD&M : Complex Systems Design & Management, Nov 2014, Paris, France. Springer-Verlag, Proceedings of CSD&M'2014 : Fifth 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-01237138
Contributeur : Christophe Dony <>
Soumis le : mercredi 2 décembre 2015 - 17:25:30
Dernière modification le : vendredi 26 octobre 2018 - 11:32:09

Identifiants

  • HAL Id : lirmm-01237138, version 1

Collections

MAREL | LIRMM | MIPS | UNIV-MONTPELLIER | EM-ALES

Citation

Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister. A MDE verification approach applied to System Engineering: xeFFBD dynamic semantics. F. Boulanger, D. Krob, G. Morel, J-C. Roussel. CSD&M : Complex Systems Design & Management, Nov 2014, Paris, France. Springer-Verlag, Proceedings of CSD&M'2014 : Fifth International Conference on Complex Systems Design & Management, 2014, 〈http://www.csdm2014.csdm.fr/〉. 〈lirmm-01237138〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

99

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD