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