| Datum prijs | 31 mrt. 2012 |
|---|---|
| Originele taal | Engels |
| Begeleider | Jan Friso Groote (Afstudeerdocent 1) & Rudolf G.M. Huisman (Afstudeerdocent 2) |
Citeer dit
- Standard
Vehicle function correctness: using mCRL2 to verify StateFlow charts and Simulink models
Scriptie/Masterproef: Master