- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Formal Methods in System Design ; 59 (2021). - S. 136-169. - Springer. - ISSN 0925-9856. - eISSN 1572-8102
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
KOPS Universität Konstanz
- (wann)
-
2021
- Urheber
- URN
-
urn:nbn:de:bsz:352-2-1gelmzvrdev3s7
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:47 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
- KOPS Universität Konstanz
Entstanden
- 2021
Ä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