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