Scalable Verification of Hybrid Systems

Goran Frehse

Scalable Verification of Hybrid Systems

Goran Frehse

Résultats de recherche: Livre/rapport › Rapport commandé › Revue par des pairs

langue originale	Anglais
état	Publié - 1 mai 2016

Accès au document

https://hal.science/tel-01714428

Contient cette citation

@book{c5d619366e2042f0812002fc187d2ff6,

title = "Scalable Verification of Hybrid Systems",

keywords = "formal methods, hybrid systems, hybrid automata, reachability analysis, m{\'e}thodes formelles, v{\'e}rification, syst{\`e}mes hybrides, automates hybrides, analyse d'atteignabilit{\'e}",

author = "Goran Frehse",

year = "2016",

month = may,

day = "1",

language = "English",

}

TY - BOOK

T1 - Scalable Verification of Hybrid Systems

AU - Frehse, Goran

PY - 2016/5/1

Y1 - 2016/5/1

KW - formal methods

KW - hybrid systems

KW - hybrid automata

KW - reachability analysis

KW - méthodes formelles

KW - vérification

KW - systèmes hybrides

KW - automates hybrides

KW - analyse d'atteignabilité

M3 - Commissioned report

BT - Scalable Verification of Hybrid Systems

ER -