Model checking protocol implementations: A new adaptation-based approach

  • F. Slob

    Student thesis: Master's Thesis

    Date of Award13 Mar 2021
    Original languageEnglish
    SupervisorSung-Shik Jongmans (Examiner) & Marko van Eekelen (Co-assessor)

    Master's Degree

    • Master Software Engineering

    Cite this

    Documents

    '