Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software.

Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle

Browse the full RTSS paper archive.