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