Verification of EULYNX light signal using mCRL2 and comparing with auto-translated model

  • Isabelle H.M. Cooijmans

Student thesis: Master

Date of Award26 Oct 2023
Original languageEnglish
SupervisorS.P. (Bas) Luttik (Supervisor 1) & Mark S. Bouwman (Supervisor 2)

Cite this

Documents

  • pdf

    File: application/pdf, 3.43 MB

    Type: Thesis

'