Tools for the Analysis of Hybrid Models

Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00765812
Contributor : Brigitte Bidégaray-Fesquet <>
Submitted on : Sunday, December 16, 2012 - 11:11:02 PM
Last modification on : Thursday, July 4, 2019 - 9:54:02 AM

Identifiers

  • HAL Id : hal-00765812, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

362