Outils pour l'analyse des modèles hybrides - Archive ouverte HAL Access content directly
Book Sections Year : 2008

Outils pour l'analyse des modèles hybrides

Thao Dang
Goran Frehse
Colas Le Guernic
  • Function : Author
No file

Dates and versions

hal-00765809 , version 1 (16-12-2012)

Identifiers

  • HAL Id : hal-00765809 , version 1

Cite

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 View
0 Download

Share

Gmail Facebook X LinkedIn More