Light-weight hybrid model checking facilitating online prediction of temporal properties
- Link:
- Autor/in:
- Verlag/Körperschaft:
- Technical University of Denmark, DTU Informatics
- Erscheinungsjahr:
- 2009
- Medientyp:
- Text
- Schlagworte:
-
- 600: Technik
- ddc:600
- Quellsystem:
- ReposIt
Interne Metadaten
- Quelldatensatz
- oai:reposit.haw-hamburg.de:20.500.12738/3182