| Semantic Assistance for Industrial Automation Based on Contracts and Verification |
| |
| ISBN: |
|
| Ausgabe: |
2009 |
| Ausgabejahr: |
2009
|
| Autor(en): |
Dominik Hurnaus
|
| Verlag: |
- |
| Publikationstyp: |
Dissertation |
| Publikationskategorie: |
11.2 _11.2 Dissertationen |
| SSW-Nummer: |
1667 |
| Bibliothek: |
SSW-Bibliothek
|
| Standort: |
Chefzimmer |
| Stichwörter: |
|
| Kurzbeschreibung: |
|
|
|
