- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Automated repair for timed systems ; day:5 ; month:10 ; year:2022 ; pages:1-34
Formal methods in system design ; (5.10.2022), 1-34
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-022-00397-5
- URN
-
urn:nbn:de:101:1-2022122221070208823813
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:30 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
- Kölbl, Martin
- Leue, Stefan
- Wies, Thomas
- SpringerLink (Online service)
Other Objects (12)
Automated repair for timed systems
Clock Bound Repair for Timed Systems
TarTar : A Timed Automata Repair Tool
Automated composition of timed services in medical applications
A framework for automated HW/SW co-verification of SystemC designs using timed automata
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
Interval probabilistic timed graph transformation systems
Induction-based Verification of Timed Systems
Interval probabilistic timed graph transformation systems
Timed Automata Relaxation for Reachability
Automated repair for timed systems
Clock Bound Repair for Timed Systems
TarTar : A Timed Automata Repair Tool
Automated composition of timed services in medical applications
A framework for automated HW/SW co-verification of SystemC designs using timed automata
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
Interval probabilistic timed graph transformation systems
Induction-based Verification of Timed Systems
Interval probabilistic timed graph transformation systems
Timed Automata Relaxation for Reachability
Automated repair for timed systems
Clock Bound Repair for Timed Systems
TarTar : A Timed Automata Repair Tool
Automated composition of timed services in medical applications
A framework for automated HW/SW co-verification of SystemC designs using timed automata
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
Interval probabilistic timed graph transformation systems
Induction-based Verification of Timed Systems
Interval probabilistic timed graph transformation systems