- Title:
Deriving fault-detection mechanisms from safety requirements
- Author(s):
- Sojer, Dominik; Buckl, Christian; Knoll, Alois
- Keywords:
- embedded, ftos
- Journal title:
- Springer Computer Science - Research and Development
- Year:
- 2012
- Fulltext / DOI:
- doi:10.1007/s00450-011-0203-z
- BibTeX