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) |
Cite this
Formal time-based modeling and verification of industrial machines
Adyanthaya, S. (Author). 31 Aug 2011
Student thesis: Master