Validation of CERN's finite state machines

  • S.J.J. Leemans

Student thesis: Master

Date of Award30 Jun 2012
Original languageEnglish
SupervisorTim A.C. Willemse (Supervisor 1), Jeroen J.A. Keiren (Supervisor 2), F. Glege (External coach) & R.G.R. Garrido (External coach)

Cite this

Documents

  • full text

    File: application/pdf, 17.2 MB

    Type: Thesis

'