Abstractions of Hybrid Systems for verification - CentraleSupélec
Chapitre D'ouvrage Année : 2011
Fichier non déposé

Dates et versions

hal-00586286 , version 1 (15-04-2011)

Identifiants

Citer

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⟩
106 Consultations
0 Téléchargements

Altmetric

Partager

More