KIT | KIT-Bibliothek | Impressum

Framework for dynamic verification of multi-domain virtual platforms in industrial automation

Mendoza, F.; Pascal, J.; Nenninger, P.; Becker, J.



Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Jahr 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 IEEE, Piscataway (NJ)
Seiten 935-940
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page