Validation of CERN's finite state machines

  • S.J.J. Leemans

Student thesis: Master

Abstract

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

Validation of CERN's finite state machines
Leemans, S. J. J. (Author). 30 Jun 2012

Student thesis: Master