| Date of Award | 31 Jan 2015 |
|---|---|
| Original language | English |
| Supervisor | D.A. (Bert) van Beek (Supervisor 1), W.J. Fokkink (Supervisor 2) & J.H. Jacobs (External coach) |
Cite this
- Standard
Synthesis of supervisors for timed systems via region automata
Student thesis: Master