Skip to Main content Skip to Navigation
Book sections

Outils pour l'analyse des modèles hybrides

Document type :
Book sections
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00765809
Contributor : Brigitte Bidégaray-Fesquet <>
Submitted on : Sunday, December 16, 2012 - 11:03:23 PM
Last modification on : Tuesday, February 2, 2021 - 10:58:04 AM

Identifiers

  • HAL Id : hal-00765809, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

417