| Date of Award | 7 Jul 2023 |
|---|---|
| Original language | English |
| Supervisor | Jeroen J.A. Keiren (Supervisor 1) |
Cite this
- Standard
Formal Verification of Safety Properties in Automotive Systems
Student thesis: Master