Regression Verification for Programmable Logic Controller Software

Master Thesis

Author(s):Alexander Sebastian Weigl
School:Karlsruhe Institute of Technology
Year:2015
Keywords: IMPROVE

BibTeX

@MastersThesis{WeiglThesis2015,
	author =       {Alexander Sebastian Weigl},
	title =        {Regression Verification for Programmable Logic
		Controller Software},
	school =       {Karlsruhe Institute of Technology},
	year =         {2015},
	month =        {january},
	keywords={IMPROVE}
}