- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: FormaliSE '24: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2024
- Urheber
-
Klein, Julian
Kogel, Paul
Glesner, Sabine
- DOI
-
10.14279/depositonce-21321
- Handle
-
11303/22520
- URN
-
urn:nbn:de:101:1-2409110158193.565992759489
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 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.
Beteiligte
- Klein, Julian
- Kogel, Paul
- Glesner, Sabine
- Technische Universität Berlin
Entstanden
- 2024
Ähnliche Objekte (12)
Self-verifying cellular automata
Machine Learning of Timed Automata
Machine learning of timed automata
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Concurrent timed port automata
Using Timed Model Checking for Verifying Workflows
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
Self-verifying cellular automata
Machine Learning of Timed Automata
Machine learning of timed automata
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Concurrent timed port automata
Using Timed Model Checking for Verifying Workflows
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
Self-verifying cellular automata
Machine Learning of Timed Automata
Machine learning of timed automata
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Concurrent timed port automata
Using Timed Model Checking for Verifying Workflows
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