Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2020
- Schlagwort
-
Robots
Modeling
FlexRay
Model Checking
Zeitbehafteter Automat
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2020
- Urheber
-
Gerke, Michael
- DOI
-
10.22028/D291-33312
- URN
-
urn:nbn:de:bsz:291--ds-333120
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:27 MESZ
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.
Beteiligte
- Gerke, Michael
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2020
Ähnliche Objekte (12)
Timed Automata Relaxation for Reachability
Verifying Opacity of Discrete-Timed Automata
Using Timed Model Checking for Verifying Workflows
A model template for reachability-based containment checking of imprecise observations in timed automata
Directed model checking for timed automata
An online model-checking framework for timed automata
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
Counterexamples for Timed Probabilistic Reachability
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Self-verifying cellular automata
Concurrent timed port automata
Extended Directed Search for Probabilistic Timed Reachability
Timed Automata Relaxation for Reachability
Verifying Opacity of Discrete-Timed Automata
Using Timed Model Checking for Verifying Workflows
A model template for reachability-based containment checking of imprecise observations in timed automata
Directed model checking for timed automata
An online model-checking framework for timed automata
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
Counterexamples for Timed Probabilistic Reachability
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Self-verifying cellular automata
Concurrent timed port automata
Extended Directed Search for Probabilistic Timed Reachability
Timed Automata Relaxation for Reachability
Verifying Opacity of Discrete-Timed Automata
Using Timed Model Checking for Verifying Workflows
A model template for reachability-based containment checking of imprecise observations in timed automata
Directed model checking for timed automata
An online model-checking framework for timed automata
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
Counterexamples for Timed Probabilistic Reachability
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Self-verifying cellular automata
Concurrent timed port automata