Hochschulschrift

Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
xx, 204 Seiten
Anmerkungen
Illustrationen
Universität Leipzig, Habilitationsschrift, 2019

Klassifikation
Informatik
Schlagwort
Automat
Zeitbehafteter Automat
Zählerautomat
Model Checking

Ereignis
Veröffentlichung
(wo)
Leipzig
(wann)
2019
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:32 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 2019

Ähnliche Objekte (12)

Concurrent timed port automata

Concurrent timed port automata

Timed Automata Relaxation for Reachability

zweidimensionales bewegtes Bild

Timed Automata Relaxation for Reachability

Learning One-Clock Timed Automata

zweidimensionales bewegtes Bild

Learning One-Clock Timed Automata

Machine learning of timed automata

Hochschulschrift

Machine learning of timed automata

Machine Learning of Timed Automata

Hochschulschrift

Machine Learning of Timed Automata

Learning One-Clock Timed Automata

Learning One-Clock Timed Automata

Automata on infinite objects

Automata on infinite objects

Temporal graph patterns by timed automata

Temporal graph patterns by timed automata

Verifying Opacity of Discrete-Timed Automata

Verifying Opacity of Discrete-Timed Automata

Directed model checking for timed automata

Hochschulschrift

Directed model checking for timed automata

Flat counter automata almost everywhere!

Flat counter automata almost everywhere!

TarTar : A Timed Automata Repair Tool

TarTar : A Timed Automata Repair Tool

Verbundene Objekte