Chapitre D'ouvrage
Année : 2011
Myriam Andrieux : Connectez-vous pour contacter le contributeur
https://centralesupelec.hal.science/hal-00586286
Soumis le : vendredi 15 avril 2011-14:35:05
Dernière modification le : vendredi 19 avril 2024-13:44:22
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⟩
Collections
92
Consultations
0
Téléchargements