Model checking Task Models with UPPAAL using MDE

  • E. Postma

    Student thesis: Master's Thesis

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

    Master's Degree

    • Master Software Engineering

    Cite this

    Documents

    '