If you made any changes in Pure these will be visible here soon.

Student theses

Validation of CERN's finite state machines

Author: Leemans, S., 30 Jun 2012

Supervisor: Willemse, T. (Supervisor 1), Keiren, J. (Supervisor 2), Glege, F. (External person) (External coach) & Garrido, R. (External person) (External coach)

Student thesis: Master

File

Verification of control software of Rijkswaterstaat

Author: Saralaya, V., 31 Aug 2012

Supervisor: Groote, J. (Supervisor 1), Pai, R. (External person) (External coach), Wijs, A. (Supervisor 2) & Keiren, J. (Supervisor 2)

Student thesis: Master

File