Framework for dynamic verification of multi-domain virtual platforms in industrial automation
| Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2012 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4673-0312-5 KITopen-ID: 1000032363 |
| Erschienen in | 2012 IEEE 10th International Conference on Industrial Informatics (INDIN'12), Beijin, China, July 25-27, 2012 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 935-940 |