- Sprache
-
Englisch
- Umfang
-
X, 179 S.
- Anmerkungen
-
München, Techn. Univ., Diss., 2013 (Nicht für den Austausch)
- Identifier
-
1047906457
- Thema
-
Hochschulschrift
- Beteiligte Personen und Organisationen
-
Schmidt, Jana A.
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:53 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.
Objekttyp
- Monografie
Beteiligte
- Schmidt, Jana A.
Ähnliche Objekte (12)
Machine Learning of Timed Automata
Learning One-Clock 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
The class of timed automata with quasi-equal clocks
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Machine Learning of Timed Automata
Learning One-Clock 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
The class of timed automata with quasi-equal clocks
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Machine Learning of Timed Automata
Learning One-Clock 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
The class of timed automata with quasi-equal clocks