Chapitre D'ouvrage
Année : 2008
Brigitte Bidégaray-Fesquet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00765809
Soumis le : dimanche 16 décembre 2012-23:03:23
Dernière modification le : vendredi 5 avril 2024-03:09:18
Dates et versions
Identifiants
- HAL Id : hal-00765809 , version 1
Citer
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic. Outils pour l'analyse des modèles hybrides. Olivier H. Roux, Claude Jard. Approches formelles des systèmes embarqués communicants, Hermès, 2008, Traité IC2, série Informatique et systèmes d'information. ⟨hal-00765809⟩
237
Consultations
0
Téléchargements