- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Formal Methods in System Design ; 59 (2021). - S. 136-169. - Springer. - ISSN 0925-9856. - eISSN 1572-8102
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
KOPS Universität Konstanz
- (when)
-
2021
- Creator
- URN
-
urn:nbn:de:bsz:352-2-1gelmzvrdev3s7
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
2025-03-25T13:51:24+0100
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
- KOPS Universität Konstanz
Time of origin
- 2021
Other Objects (12)
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
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
Fully automated tool path planning for turbine blade repair
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Timed Automata Relaxation for Reachability
Counterexamples for Timed Probabilistic Reachability
Automated Image Processing for the Analysis of DNA Repair Dynamics
Induction-based Verification of 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
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
Fully automated tool path planning for turbine blade repair
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Timed Automata Relaxation for Reachability
Counterexamples for Timed Probabilistic Reachability
Automated Image Processing for the Analysis of DNA Repair Dynamics
Induction-based Verification of 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
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
Fully automated tool path planning for turbine blade repair
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Timed Automata Relaxation for Reachability
Counterexamples for Timed Probabilistic Reachability
Automated Image Processing for the Analysis of DNA Repair Dynamics