Jakub Podivinsky, Ondrej Cekan, Jakub Lojda, Zdenek Kotásek. Verification of Robot Controller for Evaluating Impacts of Faults in Electro-Mechanical Systems. In Paris Kitsos, editor, 2016 Euromicro Conference on Digital System Design, DSD 2016, Limassol, Cyprus, August 31 - September 2, 2016. pages 487-494, IEEE Computer Society, 2016. [doi]
@inproceedings{PodivinskyCLK16, title = {Verification of Robot Controller for Evaluating Impacts of Faults in Electro-Mechanical Systems}, author = {Jakub Podivinsky and Ondrej Cekan and Jakub Lojda and Zdenek Kotásek}, year = {2016}, doi = {10.1109/DSD.2016.38}, url = {http://doi.ieeecomputersociety.org/10.1109/DSD.2016.38}, researchr = {https://researchr.org/publication/PodivinskyCLK16}, cites = {0}, citedby = {0}, pages = {487-494}, booktitle = {2016 Euromicro Conference on Digital System Design, DSD 2016, Limassol, Cyprus, August 31 - September 2, 2016}, editor = {Paris Kitsos}, publisher = {IEEE Computer Society}, isbn = {978-1-5090-2817-7}, }