| Date of Award | 28 Mar 2023 |
|---|---|
| Original language | English |
| Supervisor | Andrew T. Nelson (Supervisor 1) & Martijn L.P.J. Koedam (Supervisor 2) |
Cite this
- Standard
Accurate, Verifiable and Automated Timing Analysis of Real-Time C programs
Student thesis: Master