Model-based verification of baggage handling control software

  • P.A. Arends

Student thesis: Master

Abstract

Date of Award26 Sep 2016
Original languageEnglish
SupervisorD.A. (Bert) van Beek (Supervisor 1), Jan Friso Groote (Supervisor 2), Joost A.W.M. van Eekelen (External coach) & L. Swartjes (Supervisor 2)

Cite this

'