IMT - MINES ALES - IMT - MINES ALES (IMT - Mines Ales École des Mines
Site de Clavières : 6 avenue de Clavières, 30319 Alès Cedex
Site de Croupillac : Rue Jules Renard, 30100 Alès
Hélioparc (bâtiment Einstein 1), 2 avenue du Président-Pierre-Angot, 64053 Pau Cedex 9 - France)
3ISOE-LGI2P - Interoperable System & Organization Engineering (Équipe ISOE-LGI2P
Ecole des Mines d'Alès-Laboratoire de Génie Informatique et d'Ingénierie de Production
Site de Croupillac
7 rue Jules Renard
Alès - 30319 Cedex
France - France)
IMT - MINES ALES - IMT - MINES ALES (IMT - Mines Ales École des Mines
Site de Clavières : 6 avenue de Clavières, 30319 Alès Cedex
Site de Croupillac : Rue Jules Renard, 30100 Alès
Hélioparc (bâtiment Einstein 1), 2 avenue du Président-Pierre-Angot, 64053 Pau Cedex 9 - France)
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/〉
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 : lundi 11 février 2019 - 18:22:03
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〉