- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: FormaliSE '24: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2024
- Creator
-
Klein, Julian
Kogel, Paul
Glesner, Sabine
- DOI
-
10.14279/depositonce-21321
- Handle
-
11303/22520
- URN
-
urn:nbn:de:101:1-2409110158193.565992759489
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Klein, Julian
- Kogel, Paul
- Glesner, Sabine
- Technische Universität Berlin
Time of origin
- 2024
Other Objects (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