| Titel | Formal methods in support of SMC design |
|---|---|
| Auteur | Bortnik, EM (Elena) |
| Promotor | Rooda, JE (Koos); Baeten, JCM (Jos); Mortel-Fronczak, van de JM (Joanna) |
| Universiteit | Technische Universiteit Eindhoven |
| Datum | 2008 |
| Trefwoord(en) | dissertations the and tu/e, management science: dissertations, control systems, production control, production management (general), business systems analysis, supervisory control systems, production automation, production control |
| Type | proefschrift |
| Uitgever | Technische Universiteit Eindhoven |
| Rechten | Copyright (c) Bortnik, EM (Elena) |
| Publicatie | http://repository.tue.nl/635700 |
| Persistent Identifier | URN:NBN:NL:UI:25-635700 |
| Metadata | XML |
| Repository | Technische Universiteit Eindhoven |
Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie