- Titel:
Deriving fault-detection mechanisms from safety requirements
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Sojer, Dominik; Buckl, Christian; Knoll, Alois
- Zeitschriftentitel:
- Computer Science - Research and Development
- Jahr:
- 2011
- Band / Volume:
- 30
- Heft / Issue:
- 1
- Seitenangaben Beitrag:
- 21-34
- Volltext / DOI:
- doi:10.1007/s00450-011-0203-z
- Verlag / Institution:
- Springer Science and Business Media LLC
- E-ISSN:
- 1865-20341865-2042
- Publikationsdatum:
- 24.11.2011
- BibTeX