Tools for the Analysis of Hybrid Models - Archive ouverte HAL
Chapitre D'ouvrage Année : 2009

Tools for the Analysis of Hybrid Models

Thao Dang
Goran Frehse
Colas Le Guernic
  • Fonction : Auteur
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00765812 , version 1

Citer

Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic. Tools for the Analysis of Hybrid Models. Claude Jard, Olivier H. Roux. Communicating Embedded Systems: Software and Design, Hermès, 2009, Wiley-ISTE, 978-1-84821-143-8. ⟨hal-00765812⟩
192 Consultations
0 Téléchargements

Partager

More