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