| Date of Award | 31 Aug 2011 |
|---|---|
| Original language | English |
| Supervisor | S. Andova (Supervisor 1), R.M. Pai (Supervisor 2), J. Jacobs (Supervisor 2) & Istvan Nagy (Supervisor 2) |
Cite this
- Standard
Formal time-based modeling and verification of industrial machines
Student thesis: Master