Foundations of Dependable Computing Models and Frameworks for Dependable Systems.

• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 1994.
• Series: The Springer International Series in Engineering and Computer Science, Office of Naval Research Advanced Book Series, 283
• Subjects: Computer science.; Microprocessors.; Special purpose computers.; Computer Science.; Special Purpose and Application-Based Systems.; Processor Architectures.; Computer Science, general.

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volum...