- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Automated repair for timed systems ; day:5 ; month:10 ; year:2022 ; pages:1-34
Formal methods in system design ; (5.10.2022), 1-34
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-022-00397-5
- URN
-
urn:nbn:de:101:1-2022122221070208823813
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:30 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
- Kölbl, Martin
- Leue, Stefan
- Wies, Thomas
- SpringerLink (Online service)
Ähnliche Objekte (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