Model checking Task Models with UPPAAL using MDE

  • E. Postma

Student thesis: Master's Thesis

Abstract

Date of Award2 Jul 2021
Original languageEnglish
SupervisorStefano Schivo (Examiner) & Tanja Vos (Co-assessor)

Cite this

'