@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
| Autor(en): | Bernhard Beckert, Mattias Ulbrich, Birgit Vogel‑Heuser und Alexander Weigl |
|---|---|
| Institution: | Karlsruhe Institute of Technology, Department of Informatics |
| Nummer: | 2015-06 |
| Jahr: | 2015 |
| Stichworte: | IMPROVE |