Datum prijs | 31 jan. 2006 |
---|---|
Originele taal | Engels |
Begeleider | Jan Friso Groote (Afstudeerdocent 1) & Alexander Serebrenik (Afstudeerdocent 2) |
An automated verification approach for scheduling in complex manufacturing machines
Scriptie/Masterproef: Master