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

Sebastian Ulewicz, Mattias Ulbrich, Alexander Weigl, Michael Kirsten, Franziska Wiebe, Bernhard Beckert, Birgit Vogel-Heuser

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

10 Scopus citations

Fingerprint

Dive into the research topics of 'A verification-supported evolution approach to assist software application engineers in industrial factory automation'. Together they form a unique fingerprint.

Keyphrases

Computer Science