Monografie

Directed model checking for timed automata

zu Verbundenen Objekten

Sprache
Englisch
Anmerkungen
Freiburg (Breisgau), Univ., Diss., 2009
Identifier
1002183456

Thema
Model Checking; Hochschulschrift

Beteiligte Personen und Organisationen
Erschienen
[Online-Ausg.]: 2010, [2010]

URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
13.02.2023, 03:53 MEZ

Datenpartner

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

Objekttyp

  • Monografie

Beteiligte

Entstanden

  • [Online-Ausg.]: 2010, [2010]

Ähnliche Objekte (12)

An online model-checking framework for timed automata

Monografie

An online model-checking framework for timed automata

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Trail-Directed Model Checking

Trail-Directed Model Checking

Model checking nondeterministic and randomly timed systems

Monografie

Model checking nondeterministic and randomly timed systems

Concurrent timed port automata

Concurrent timed port automata

Survey on Directed Model Checking

Monografie

Survey on Directed Model Checking

Model checking timed UML state machines and collaborations

Model checking timed UML state machines and collaborations

Learning One-Clock Timed Automata

Monografie

Learning One-Clock Timed Automata

Machine Learning of Timed Automata

Monografie

Machine Learning of Timed Automata

Machine learning of timed automata

Hochschulschrift

Machine learning of timed automata

Learning One-Clock Timed Automata

zweidimensionales bewegtes Bild

Learning One-Clock Timed Automata

Timed Automata Relaxation for Reachability

zweidimensionales bewegtes Bild

Timed Automata Relaxation for Reachability

Verbundene Objekte