Hochschulschrift
A framework for automated HW/SW co-verification of SystemC designs using timed automata
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832525118
- Dimensions
-
21 cm
- Extent
-
147 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Berlin, Techn. Univ., Diss., 2010
- Keyword
-
Eingebettetes System
CASHE
Verifikation
SystemC
Zeitbehafteter Automat
Model Checking
Konformitätsprüfung
Qualitätssicherung
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Logos
- (when)
-
2010
- Creator
-
Herber, Paula
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:27 PM 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.
Object type
- Hochschulschrift
Associated
- Herber, Paula
- Logos
Time of origin
- 2010
Other Objects (12)
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Concurrent timed port automata
A framework for automated HW/SW co-verification of SystemC designs using tmed automata
Learning One-Clock Timed Automata
Timed Automata Relaxation for Reachability
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Machine learning of timed automata
Verifying Opacity of Discrete-Timed Automata
Directed model checking for timed automata
Monitoring CTMCs by Multi-clock Timed Automata
TarTar : A Timed Automata Repair Tool
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Concurrent timed port automata
A framework for automated HW/SW co-verification of SystemC designs using tmed automata
Learning One-Clock Timed Automata
Timed Automata Relaxation for Reachability
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Machine learning of timed automata
Verifying Opacity of Discrete-Timed Automata
Directed model checking for timed automata
Monitoring CTMCs by Multi-clock Timed Automata
TarTar : A Timed Automata Repair Tool
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Concurrent timed port automata
A framework for automated HW/SW co-verification of SystemC designs using tmed automata
Learning One-Clock Timed Automata
Timed Automata Relaxation for Reachability
Machine Learning of Timed Automata
Learning One-Clock Timed Automata
Machine learning of timed automata
Verifying Opacity of Discrete-Timed Automata
Directed model checking for timed automata
Monitoring CTMCs by Multi-clock Timed Automata