Model Checking Stochastic Hybrid Systems

TitleModel Checking Stochastic Hybrid Systems
Publication TypeThesis
Year of Publication2012
AuthorsHahn, EM
Academic DepartmentDepartment of Computer Science
DegreeDoktor der Ingenieurwissenschaften
Number of Pages192
Date Published12/2012
UniversityUniversität des Saarlandes
CitySaarbrücken
Thesis TypeDoctoral Dissertation
URLhttp://scidok.sulb.uni-saarland.de/volltexte/2013/5259/pdf/phdthesis.pdf
PDF (Full text): 
Work Package: 
WP1