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

  • M.A. de Langen

Student thesis: Master

Abstract

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

Cite this

'