- Sprache
-
Englisch
- Identifier
-
1103470035
- Thema
-
Hochschulschrift
- Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
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.
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Induction-based Verification of Synchronous and Hybrid Programs
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
A framework for automated HW/SW co-verification of SystemC designs using timed automata
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Clock Bound Repair for Timed Systems
Interval probabilistic timed graph transformation systems
System verification tools based on monadic logics
Causality-based verification
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
On the analysis of stochastic timed systems
Induction-based Verification of Synchronous and Hybrid Programs
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
A framework for automated HW/SW co-verification of SystemC designs using timed automata
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Clock Bound Repair for Timed Systems
Interval probabilistic timed graph transformation systems
System verification tools based on monadic logics
Causality-based verification
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
On the analysis of stochastic timed systems
Induction-based Verification of Synchronous and Hybrid Programs
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
A framework for automated HW/SW co-verification of SystemC designs using timed automata
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Clock Bound Repair for Timed Systems
Interval probabilistic timed graph transformation systems
System verification tools based on monadic logics
Causality-based verification
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems