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

'