- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7616
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Semantics-driven extraction of timed automata from Java programs ; day:22 ; month:3 ; year:2019 ; pages:1-37
Empirical software engineering ; (22.3.2019), 1-37
- Creator
-
Liva, Giovanni
Khan, Muhammad Taimoor
Pinzger, Martin
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10664-019-09699-5
- URN
-
urn:nbn:de:101:1-2019050221255211959625
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:01 AM CEST
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
- Liva, Giovanni
- Khan, Muhammad Taimoor
- Pinzger, Martin
- SpringerLink (Online service)
Other Objects (12)
Concurrent timed port automata
Timed Automata Relaxation for Reachability
Learning One-Clock Timed Automata
Machine learning of timed automata
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Verifying Opacity of Discrete-Timed Automata
Temporal graph patterns by timed automata
Directed model checking for timed automata
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics
TarTar : A Timed Automata Repair Tool
Monitoring CTMCs by Multi-clock Timed Automata
Concurrent timed port automata
Timed Automata Relaxation for Reachability
Learning One-Clock Timed Automata
Machine learning of timed automata
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Verifying Opacity of Discrete-Timed Automata
Temporal graph patterns by timed automata
Directed model checking for timed automata
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics
TarTar : A Timed Automata Repair Tool
Monitoring CTMCs by Multi-clock Timed Automata
Concurrent timed port automata
Timed Automata Relaxation for Reachability
Learning One-Clock Timed Automata
Machine learning of timed automata
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Verifying Opacity of Discrete-Timed Automata
Temporal graph patterns by timed automata
Directed model checking for timed automata
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics
TarTar : A Timed Automata Repair Tool