Date of Award | 31 Jan 2006 |
---|---|
Original language | English |
Supervisor | Jan Friso Groote (Supervisor 1) & Alexander Serebrenik (Supervisor 2) |
An automated verification approach for scheduling in complex manufacturing machines
Student thesis: Master