- Standort
-
Hannover TIB
- Umfang
-
49MB, 00:16:30:23 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Bendík, Jaroslav
Sencan, Ahmet
Gol, Ebru Aydin
Černá, Ivana
- DOI
-
10.5446/54984
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Bendík, Jaroslav
- Sencan, Ahmet
- Gol, Ebru Aydin
- Černá, Ivana
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Counterexamples for Timed Probabilistic Reachability
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
A model template for reachability-based containment checking of imprecise observations in timed automata
Extended Directed Search for Probabilistic Timed Reachability
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Concurrent timed port automata
Directed model checking for timed automata
Dynamic Causes for the Violation of Timed Reachability Properties
Learning One-Clock Timed Automata
Machine learning of timed automata
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Counterexamples for Timed Probabilistic Reachability
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
A model template for reachability-based containment checking of imprecise observations in timed automata
Extended Directed Search for Probabilistic Timed Reachability
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Concurrent timed port automata
Directed model checking for timed automata
Dynamic Causes for the Violation of Timed Reachability Properties
Learning One-Clock Timed Automata
Machine learning of timed automata
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Counterexamples for Timed Probabilistic Reachability
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
A model template for reachability-based containment checking of imprecise observations in timed automata
Extended Directed Search for Probabilistic Timed Reachability
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Concurrent timed port automata
Directed model checking for timed automata
Dynamic Causes for the Violation of Timed Reachability Properties
Learning One-Clock Timed Automata
Machine learning of timed automata
Machine Learning of Timed Automata