Synthesis of Fault Detection Mechanisms TRACK: Real-Time, Embedded and Physical Systems.

Dominik Sojer

Browse the full COMPSAC paper archive.