Modélisation des systèmes réactifs

Dominique Méry 1 Nidhal Rezg 2 Xiaolan Xie 2
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 MACSI - Industrial system modeling, analysis and operation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Cet ouvrage présente les actes de la conférence MSR 2003 organisée à Metz du 6 au 8 octobre 2003 par le LORIA, le CRAN et l'INRIA Lorraine et les établissements d'enseignement supérieur et de recherche.
Type de document :
Communication dans un congrès
Méry, Dominique et Rezg, Nidhal et Xie, Xiaolan. 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2003, 2003, Metz, France, Hermès, 568 p, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00099541
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:38:25
Dernière modification le : mardi 27 février 2018 - 15:44:03

Identifiants

  • HAL Id : inria-00099541, version 1

Collections

Citation

Dominique Méry, Nidhal Rezg, Xiaolan Xie. Modélisation des systèmes réactifs. Méry, Dominique et Rezg, Nidhal et Xie, Xiaolan. 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2003, 2003, Metz, France, Hermès, 568 p, 2003. 〈inria-00099541〉

Partager

Métriques

Consultations de la notice

167