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]
Abstract is missing.