146
Voted
RE
2010
Springer
14 years 9 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...