- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0525
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Configurable verification of timed automata with discrete variables ; day:15 ; month:12 ; year:2020 ; pages:1-35
Acta informatica ; (15.12.2020), 1-35
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00236-020-00393-4
- URN
-
urn:nbn:de:101:1-2021012219204405494352
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:29 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.
Beteiligte
- Tóth, Tamás
- Majzik, István
- SpringerLink (Online service)
Ähnliche Objekte (12)
Verifying Opacity of Discrete-Timed Automata
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Concurrent timed port automata
Timed Automata Relaxation for Reachability
Machine learning of timed automata
Learning One-Clock Timed Automata
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Temporal graph patterns by timed automata
Directed model checking for timed automata
TarTar : A Timed Automata Repair Tool
Monitoring CTMCs by Multi-clock Timed Automata
Verifying Opacity of Discrete-Timed Automata
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Concurrent timed port automata
Timed Automata Relaxation for Reachability
Machine learning of timed automata
Learning One-Clock Timed Automata
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Temporal graph patterns by timed automata
Directed model checking for timed automata
TarTar : A Timed Automata Repair Tool
Monitoring CTMCs by Multi-clock Timed Automata
Verifying Opacity of Discrete-Timed Automata
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Concurrent timed port automata
Timed Automata Relaxation for Reachability
Machine learning of timed automata
Learning One-Clock Timed Automata
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Temporal graph patterns by timed automata
Directed model checking for timed automata
TarTar : A Timed Automata Repair Tool