Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

Regression Verification for Programmable Logic Controller Software

Master's 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}
}