Formal verification of control software in X-ray systems

Student thesis: Master

Abstract

Date of Award30 Sep 2016
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1), P.T. Wolkotte (External coach) & H.F.P.M. Lakeman (External coach)

Cite this

'