| Originalsprache | Englisch |
|---|---|
| Gradverleihende Hochschule |
|
| Publikationsstatus | Veröffentlicht - 2020 |
Research Field
- Dependable Systems Engineering
Diese Publikation zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Analyzing Cyber-Physical Systems with Runtime Veri fication
Publikation: Abschlussarbeit › Habilitation