Skip to Main content Skip to Navigation
Book sections

Abstractions of Hybrid Systems for verification

Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00586286
Contributor : Myriam Andrieux <>
Submitted on : Friday, April 15, 2011 - 2:35:05 PM
Last modification on : Monday, October 5, 2020 - 9:44:04 AM

Identifiers

Citation

Hervé Guéguen, Janan 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⟩

Share

Metrics

Record views

247