Sciweavers

FM
2003
Springer
94views Formal Methods» more  FM 2003»
13 years 9 months ago
On Failures and Faults
: Real computer-based systems fail, and hence are often far less dependable than their owners and users need and desire. Individuals, organisations and indeed the world at large ar...
Brian Randell