| Date of Award | 2 Jul 2021 |
|---|---|
| Original language | English |
| Supervisor | Stefano Schivo (Examiner) & Tanja Vos (Co-assessor) |
Master's Degree
- Master Software Engineering
Model checking Task Models with UPPAAL using MDE
Student thesis: Master's Thesis