Deriving fault-detection mechanisms from safety requirements

Dominik Sojer, Christian Buckl and Alois Knoll

Springer Computer Science - Research and Development,

2012 · doi: 10.1007/s00450-011-0203-z

subject terms: embedded, ftos

url: Sojer2012.pdf