A Lightweight Framework for Testing Safety-critical Component-based Systems on Embedded Targets.

Nermin Kajtazovic, Andrea Hller, Tobias Rauter, Christian Kreiner

Browse the full MODELS paper archive.