KIT | KIT-Bibliothek | Impressum

A verification-supported evolution approach to assist software application engineers in industrial factory automation

Ulewicz, S.; Ulbrich, M.; Weigl, A.; Kirsten, M.; Wiebe, F.; Beckert, B.; Vogel-Heuser, B.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2016
Sprache Englisch
Identifikator DOI: 10.1109/ISAM.2016.7750714
ISBN: 978-150902412-4
KITopen ID: 1000064991
Erschienen in 2016 IEEE International Symposium on Assembly and Manufacturing, ISAM 2016, Fort Worth, United States, 21 - 22 August, 2016
Verlag IEEE
Seiten 19-25
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page