Date of Award | 30 Sep 2016 |
---|---|
Original language | English |
Supervisor | Jan Friso Groote (Supervisor 1), P.T. Wolkotte (External coach) & H.F.P.M. Lakeman (External coach) |
Formal verification of control software in X-ray systems
Student thesis: Master