Konzepte und Werkzeuge zur Verifikation verteilter Fertigungsleitsysteme
| Thesis type |
|
|---|---|
| Student | Le Wang |
| Status | Finished |
| Submitted in | 2006 |
| Supervisor(s) |
|
| Advisor(s) |
|
|
Contact Prof. Dr. M. Jarke |
Konzepte und Werkzeuge zur Verifikation verteilter Fertigungsleitsysteme
|
