Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

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

  • M.A. de Langen

Scriptie/Masterproef: Master

Datum prijs30 jun. 2013
Originele taalEngels
BegeleiderJan Friso Groote (Afstudeerdocent 1) & Rudolf G.M. Huisman (Afstudeerdocent 2)

Citeer dit

'