Skip to Main content Skip to Navigation
Book sections

Abstractions of Hybrid Systems for verification

Hervé Guéguen 1 J. Zaytoon 2
1 IETR - Institut d'Electronique et de Télécommunications de Rennes
2 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804
Document type :
Book sections
Complete list of metadata
https://hal-supelec.archives-ouvertes.fr/hal-00586286
Contributor : Myriam Andrieux Connect in order to contact the contributor
Submitted on : Friday, April 15, 2011 - 2:35:05 PM
Last modification on : Friday, October 15, 2021 - 3:02:09 AM

Identifiers

Collections

CNRS | UNIV-RENNES1 | SUPELEC | SUP_ASH | IETR | TDS-MACS | UR1-MATH-STIC | UR1-UFR-ISTIC | IETR-AUT | URCA | CRESTIC | SUP_IETR | UNIV-RENNES | INSA-GROUPE | INSA-RENNES | UR1-MATH-NUM

Citation

Hervé Guéguen, J. Zaytoon. Abstractions of Hybrid Systems for verification. Juan Andrade Cetto, Joaquim Filipe and Jean-Louis Ferrier. Informatics in Control Automation and Robotics, Springer, pp.15-28, 2011, Lecture Notes in Electrical Engeneering, ⟨10.1007/978-3-642-19730-7⟩. ⟨hal-00586286⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles