Automatically Deriving Symbolic Invariants for PLC Programs Written in IL

by Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich
Reference:
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL (Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich), In FORMS/FORMAT 2010 (Eckehard Schnieder, Geza Tarnai, eds.), Springer Berlin Heidelberg, 2011.
Bibtex Entry:
@inproceedings { BBKS10,
	author = { Biallas, Sebastian and Brauer, J{"o}rg and Kowalewski,
		Stefan and Schlich, Bastian },
	title = { Automatically Deriving Symbolic Invariants for {PLC}
		Programs Written in {IL} },
	booktitle = { FORMS/FORMAT 2010 },
	editor = { Schnieder, Eckehard and Tarnai, Geza },
	publisher = { Springer Berlin Heidelberg },
	publishedas = { Druck },
	language = { eng },
	year = { 2011 },
	timestamp = { 2010.08.19 },
	isbn = { 978-3-642-14261-1 },
	pages = { 237--245 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbks10.pdf },
	i11key = { conference },
	i11projectkey = { Arcade },
	for_reporting_period = { 2010 },
}

Bookmark the permalink.