Vehicle function correctness
: using mCRL2 to compare higher and lower level models

  • M.A. de Langen

Student thesis: Master

Date of Award30 Jun 2013
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1) & Rudolf G.M. Huisman (Supervisor 2)

Cite this

Documents

  • full text

    File: application/pdf, 1.47 MB

    Type: Thesis

'