No full text
Doctoral thesis (Dissertations and theses)
Verification of Stochastic Timed Automata
Carlier, Pierre
2017
 

Files


Full Text
No document available.

Send to



Details



Research center :
CREMMI - Modélisation mathématique et informatique
Disciplines :
Electrical & electronics engineering
Author, co-author :
Language :
English
Title :
Verification of Stochastic Timed Automata
Defense date :
08 December 2017
Number of pages :
278
Institution :
Université de Mons
Degree :
Doctorat en sciences (sciences mathématiques)
Promotor :
Brihaye, Thomas  ;  Université de Mons > Faculté des Sciences > Service de Mathématiques effectives
Bouyer, Patricia
President :
Bruyère, Véronique  ;  Université de Mons > Faculté des Sciences > Service d'Informatique théorique
Jury member :
Abdulla, Parosh Aziz
Baier, Christel
Randour, Mickael
Randour, Mickaël ;  Université de Mons > Faculté des Sciences > Service de Mathématiques effectives ; Université de Mons > Faculté des Sciences > Informatique théorique
Research unit :
S820 - Mathématiques effectives
Research institute :
R150 - Institut de Recherche sur les Systèmes Complexes
Available on ORBi UMONS :
since 18 January 2018

Statistics


Number of views
1 (0 by UMONS)
Number of downloads
0 (0 by UMONS)

Bibliography


Similar publications



Contact ORBi UMONS