Verification of Hybrid Systems - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2018

Verification of Hybrid Systems

Goran Frehse
  • Fonction : Auteur
George Pappas
  • Fonction : Auteur
André Platzer
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-04515601 , version 1 (21-03-2024)

Identifiants

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

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More