Formal verification of control software in X-ray systems

Student thesis: Master

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

Documents

  • full text

    File: application/pdf, 1.98 MB

    Type: Thesis

'