Content available in repository
Content available in repository
Supervised Work
- 2 results
Search results
-
Formal verification of a train traffic control system
van Meer, J. H. P. (Author), Luttik, S. P. (Supervisor 1), Bouwman, M. S. (Supervisor 2) & Bossink, B. (External coach), 30 Jun 2020Student thesis: Master
File -
Verification of EULYNX light signal using mCRL2 and comparing with auto-translated model
Cooijmans, I. H. M. (Author), Luttik, S. P. (Supervisor 1) & Bouwman, M. S. (Supervisor 2), 26 Oct 2023Student thesis: Master
File