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
Document type :
Conference papers
Liste complète des métadonnées
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01237138
Contributor : Christophe Dony <>
Submitted on : Wednesday, December 2, 2015 - 5:25:30 PM
Last modification on : Thursday, April 18, 2019 - 5:26:01 PM

Identifiers

  • 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. CSD&M : Complex Systems Design & Management, Nov 2014, Paris, France. ⟨lirmm-01237138⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

109

Contact

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