206
Voted
SAFECOMP
2004
Springer
16 years 23 days ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...