@TechReport{BeckertUlbrichVogelHeuser2015,
author = {Bernhard Beckert and Mattias Ulbrich and Birgit Vogel-Heuser and Alexander Weigl},
title = {Regression Verification for Programmable Logic Controller Software},
institution = {Karlsruhe Institute of Technology, Department of Informatics},
year = {2015},
month = jun,
number = {2015-06},
keywords = {IMPROVE}
}
Regression Verification for Programmable Logic Controller Software
| Author(s): | Bernhard Beckert, Mattias Ulbrich, Birgit Vogel‑Heuser, and Alexander Weigl |
|---|---|
| Institution: | Karlsruhe Institute of Technology, Department of Informatics |
| Number: | 2015-06 |
| Year: | 2015 |
| Keywords: | IMPROVE |