Scalable Verification of Hybrid Systems - TEL - Thèses en ligne Access content directly
Habilitation À Diriger Des Recherches Year : 2016

Scalable Verification of Hybrid Systems

Goran Frehse
Fichier principal
Vignette du fichier
Frehse_Habil16.pdf (2.53 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : tel-01714428 , version 1

Cite

Goran Frehse. Scalable Verification of Hybrid Systems. Systems and Control [cs.SY]. Univ. Grenoble Alpes, 2016. ⟨tel-01714428⟩
186 View
242 Download

Share

Gmail Facebook Twitter LinkedIn More