-
Using Coloured Petri Nets for integrated reliability and safety evaluations
International audience -
Contribution to the Verification of Timed Automata: Determinization, Quantita...
This thesis is about verification of timed automata, a well-established model for real time systems. The document is structured in three parts. The first part is...
