- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Freiburg (Breisgau), Univ., Diss., 2009
- Classification
-
Informatik
- Keyword
-
Model Checking
- Creator
- URN
-
urn:nbn:de:bsz:25-opus-74517
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:33 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
An online model-checking framework for timed automata
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
A model template for reachability-based containment checking of imprecise observations in timed automata
Concurrent timed port automata
Using Timed Model Checking for Verifying Workflows
Model checking nondeterministic and randomly timed systems
Trail-Directed Model Checking
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
Model checking timed UML state machines and collaborations
Timed Automata Relaxation for Reachability
Learning One-Clock Timed Automata
Machine learning of timed automata
An online model-checking framework for timed automata
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
A model template for reachability-based containment checking of imprecise observations in timed automata
Concurrent timed port automata
Using Timed Model Checking for Verifying Workflows
Model checking nondeterministic and randomly timed systems
Trail-Directed Model Checking
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
Model checking timed UML state machines and collaborations
Timed Automata Relaxation for Reachability
Learning One-Clock Timed Automata
Machine learning of timed automata
An online model-checking framework for timed automata
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
A model template for reachability-based containment checking of imprecise observations in timed automata
Concurrent timed port automata
Using Timed Model Checking for Verifying Workflows
Model checking nondeterministic and randomly timed systems
Trail-Directed Model Checking
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
Model checking timed UML state machines and collaborations
Timed Automata Relaxation for Reachability
Learning One-Clock Timed Automata