Monografie
Scalable compatibility for embedded real-time components via language progressive timed automata
- Sprache
-
Deutsch
- Identifier
-
1219660787
- Reihe
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam; 65
- Thema
-
Echtzeitsystem ; Eingebettetes System ; Zeitbehafteter Automat ; Ein-Ausgabe ; Verifikation
- Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 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
Ähnliche Objekte (12)
Scalable compatibility for embedded real-time components via language progressive timed 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
Directed model checking for timed automata
Monitoring CTMCs by Multi-clock Timed Automata
TarTar : A Timed Automata Repair Tool
An online model-checking framework for timed automata
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Scalable compatibility for embedded real-time components via language progressive timed 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
Directed model checking for timed automata
Monitoring CTMCs by Multi-clock Timed Automata
TarTar : A Timed Automata Repair Tool
An online model-checking framework for timed automata
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Scalable compatibility for embedded real-time components via language progressive timed 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
Directed model checking for timed automata
Monitoring CTMCs by Multi-clock Timed Automata
TarTar : A Timed Automata Repair Tool
An online model-checking framework for timed automata
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata