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) |