Towards Model-driven Verification of Robot Control Code using Abstract Syntax Trees in Production Systems Engineering.

Kristof Meixner, Dietmar Winkler, Petr Novk, Stefan Biffl

Browse the full MODELSWARD paper archive.