| Date of Award | 26 Sept 2016 |
|---|---|
| Original language | English |
| Supervisor | D.A. (Bert) van Beek (Supervisor 1), Jan Friso Groote (Supervisor 2), J.A.W.M. van Eekelen (External coach) & L. Swartjes (Supervisor 2) |
Cite this
- Standard
Model-based verification of baggage handling control software
Student thesis: Master