Fault coverage of a timing and control flow checker for hard real-time systems.

Julian Wolf, Bernhard Fechner, Theo Ungerer

Browse the full IOLTS paper archive.