Media type: E-Book Title: Regression Verification for Programmable Logic Controller Software Contributor: Beckert, Bernhard [Other]; Ulbrich, Mattias [Other]; Vogel-Heuser, Birgit [Other]; Weigl, Alexander [Other] Corporation: Karlsruher Institut für Technologie, Fakultät für Informatik imprint: Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2015,6 Extent: Online-Ressource Language: German; English Identifier: Keywords: Forschungsbericht Origination: Footnote: Literaturverzeichnis: Seite 15-16 Access State: Open Access