Regression Verification for Programmable Logic Controller Software

Technical Report

Author(s):Bernhard Beckert, Mattias Ulbrich, Birgit Vogel‑Heuser, and Alexander Weigl
Institution:Karlsruhe Institute of Technology, Department of Informatics
Year:2015
Number:2015-06
Keywords: IMPROVE

BibTeX

@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}
}