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