Formal Modeling and Analysis of HLA Architectural Style

Type de document :
Communication dans un congrès
First International Conference on Modelling, Identification and Control (ICMIC 2008), IEEE Systems, Man, and Cybernetics Society, Jun 2008, Shanghai, China. pp.201-206, 2008
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00514292
Contributeur : Flavio Oquendo <>
Soumis le : mercredi 1 septembre 2010 - 20:31:05
Dernière modification le : vendredi 3 septembre 2010 - 11:37:36

Identifiants

  • HAL Id : hal-00514292, version 1

Collections

Citation

Di Wu, Jie Chen, Flavio Oquendo. Formal Modeling and Analysis of HLA Architectural Style. First International Conference on Modelling, Identification and Control (ICMIC 2008), IEEE Systems, Man, and Cybernetics Society, Jun 2008, Shanghai, China. pp.201-206, 2008. 〈hal-00514292〉

Partager

Métriques

Consultations de la notice

60