Scalable Verification of Hybrid Systems - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2016

Scalable Verification of Hybrid Systems

Goran Frehse
Fichier principal
Vignette du fichier
Frehse_Habil16.pdf (2.53 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

tel-01714428 , version 1 (21-02-2018)

Identifiants

  • HAL Id : tel-01714428 , version 1

Citer

Goran Frehse. Scalable Verification of Hybrid Systems. Systems and Control [cs.SY]. Univ. Grenoble Alpes, 2016. ⟨tel-01714428⟩
206 Consultations
258 Téléchargements

Partager

Gmail Facebook X LinkedIn More