Chapitre D'ouvrage
Année : 2018
Frédéric Boulanger : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04515601
Soumis le : jeudi 21 mars 2024-16:45:20
Dernière modification le : vendredi 17 mai 2024-16:22:03
Citer
Laurent Doyen, Goran Frehse, George Pappas, André Platzer. Verification of Hybrid Systems. Handbook of Model Checking, Springer International Publishing, pp.1047-1110, 2018, 978-331910575-8; 978-331910574-1. ⟨10.1007/978-3-319-10575-8_30⟩. ⟨hal-04515601⟩
Collections
2
Consultations
0
Téléchargements