KIT | KIT-Bibliothek | Impressum | Datenschutz

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.

Open Access Logo


Postprint §
DOI: 10.5445/IR/1000064991
Veröffentlicht am 28.03.2019
Originalveröffentlichung
DOI: 10.1109/ISAM.2016.7750714
Scopus
Zitationen: 5
Coverbild
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2016
Sprache Englisch
Identifikator ISBN: 978-150902412-4
urn:nbn:de:swb:90-649910
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
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page