KIT | KIT-Bibliothek | Impressum | Datenschutz

Proving Equivalence between Control Software Variants for Programmable Logic Controllers - Using Regression Verification to Reduce Unneeded Variant Diversity

Ulewicz, Sebastian; Ulbrich, Mattias ORCID iD icon 1; Weigl, Alexander ORCID iD icon 1; Beckert, Bernhard ORCID iD icon 1; Vogel-Heuser, Birgit
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1109/ETFA.2015.7301603
Scopus
Zitationen: 7
Dimensions
Zitationen: 6
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2015
Sprache Englisch
Identifikator ISBN: 978-1-4673-7930-4
ISSN: 1946-0740
KITopen-ID: 1000052939
Erschienen in 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA 2015) : Luxembourg, 8 - 11 September 2015
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten Art.Nr.: 7301603
Serie IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
Bemerkung zur Veröffentlichung accepted
Nachgewiesen in Dimensions
Scopus
Globale Ziele für nachhaltige Entwicklung Ziel 9 – Industrie, Innovation und Infrastruktur
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page