Arcade.PLC: A Verification Platform for Programmable Logic Controllers

by Sebastian Biallas, Jörg Brauer, Stefan Kowalewski
Reference:
Arcade.PLC: A Verification Platform for Programmable Logic Controllers (Sebastian Biallas, Jörg Brauer, Stefan Kowalewski), In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ACM Press, 2012.
Bibtex Entry:
@string{acm="ACM Press"}
@inproceedings { BBK12b,
	author = { Biallas, Sebastian and Brauer, J{"o}rg and Kowalewski,
		Stefan },
	title = { {Arcade.PLC}: A Verification Platform for Programmable Logic
		Controllers },
	booktitle = { Proceedings of the 27th IEEE/ACM International Conference on
		Automated Software Engineering },
	series = { ASE 2012 },
	publisher = { ACM },
	publishedas = { Druck Online },
	isbn = { 978-1-4503-1204-2 },
	language = { eng },
	pages = { 338--341 },
	year = { 2012 },
	timestamp = { 2012.09.16 },
	i11key = { conference },
	i11projectkey = { Arcade },
	url = { http://publications.embedded.rwth-aachen.de/file/3w },
	for_reporting_period = { 2012 },
}

Bookmark the permalink.