Abstract
| 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