by Sebastian Biallas, Stefan Kowalewski, Bastian Schlich
Reference:
Range and Value-Set Analysis for Programmable Logic Controllers (Sebastian Biallas, Stefan Kowalewski, Bastian Schlich), In Proceedings of the 11th International Workshop on Discrete Event Systems, IFAC, 2012.
Bibtex Entry:
@inproceedings { BKS12b, address = { Guadalajara, Mexico }, author = { Biallas, Sebastian and Kowalewski, Stefan and Schlich, Bastian }, title = { Range and Value-Set Analysis for Programmable Logic Controllers }, booktitle = { Proceedings of the 11th International Workshop on Discrete Event Systems }, publisher = { IFAC }, publishedas = { Druck Online }, isbn = { 978-3-902823-28-1 }, language = { eng }, pages = { 378--383 }, year = { 2012 }, timestamp = { 2012.06.26 }, i11key = { conference }, i11projectkey = { Arcade }, url = { http://publications.embedded.rwth-aachen.de/file/3x }, for_reporting_period = { 2012 }, }