- Sprache
-
Englisch
- Anmerkungen
-
Hamburg, Technische Universität Hamburg-Harburg, Diss., 2015
- Identifier
-
1077042043
- Thema
-
Hochschulschrift
- Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:52 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Rinast, Jonas
- Schupp, Sibylle
Ähnliche Objekte (12)
Directed model checking for timed automata
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Concurrent timed port automata
Learning One-Clock Timed Automata
Machine Learning of Timed Automata
Machine learning of timed automata
Learning One-Clock Timed Automata
Timed Automata Relaxation for Reachability
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Model checking nondeterministic and randomly timed systems
Monitoring CTMCs by Multi-clock Timed Automata
TarTar : A Timed Automata Repair Tool
Directed model checking for timed automata
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Concurrent timed port automata
Learning One-Clock Timed Automata
Machine Learning of Timed Automata
Machine learning of timed automata
Learning One-Clock Timed Automata
Timed Automata Relaxation for Reachability
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Model checking nondeterministic and randomly timed systems
Monitoring CTMCs by Multi-clock Timed Automata
TarTar : A Timed Automata Repair Tool
Directed model checking for timed automata
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Concurrent timed port automata
Learning One-Clock Timed Automata
Machine Learning of Timed Automata
Machine learning of timed automata
Learning One-Clock Timed Automata
Timed Automata Relaxation for Reachability
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Model checking nondeterministic and randomly timed systems
Monitoring CTMCs by Multi-clock Timed Automata