| Datum prijs | 31 jan. 2007 |
|---|---|
| Originele taal | Engels |
| Begeleider | J.C.M. Baeten (Afstudeerdocent 1), J.M. (Asia) van de Mortel-Fronczak (Afstudeerdocent 2), M.A.R. Stoets (Afstudeerdocent 2) & E. Bortnik (Afstudeerdocent 2) |
Citeer dit
- Standard
Derivation of calibration sequences using model checking
Scriptie/Masterproef: Master