| Original language | English |
|---|---|
| Awarding Institution |
|
| Publication status | Published - 2020 |
Research Field
- Dependable Systems Engineering
Analyzing Cyber-Physical Systems with Runtime Veri fication
Research output: Thesis › Habilitation
Research output: Thesis › Habilitation
| Original language | English |
|---|---|
| Awarding Institution |
|
| Publication status | Published - 2020 |