Book Sections
Year : 2011
Myriam Andrieux : Connect in order to contact the contributor
https://centralesupelec.hal.science/hal-00586286
Submitted on : Friday, April 15, 2011-2:35:05 PM
Last modification on : Monday, September 2, 2024-4:44:23 PM
Cite
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⟩
Collections
111
View
0
Download