Formal Modelling and Analysis of HLA Architectural Style

Jie Chen 1 Di Wu 2 Flavio Oquendo 2, * Juan Zhang 1
* Auteur correspondant
1 BIT - Beijing Institute of Technology
2 VALORIA - Laboratoire de Recherche en Informatique et ses Applications de Vannes et Lorient
Type de document :
Article dans une revue
International Journal of Modelling Identification and Control, 2010, 9 (1-2), pp.71-82
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-00512568
Contributeur : Flavio Oquendo <>
Soumis le : lundi 30 août 2010 - 22:04:29
Dernière modification le : mardi 14 septembre 2010 - 17:46:22

Identifiants

  • HAL Id : hal-00512568, version 1

Collections

Citation

Jie Chen, Di Wu, Flavio Oquendo, Juan Zhang. Formal Modelling and Analysis of HLA Architectural Style. International Journal of Modelling Identification and Control, 2010, 9 (1-2), pp.71-82. 〈hal-00512568〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

159

Contact

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