Foundations of Dependable Computing Models and Frameworks for Dependable Systems.

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 1994.
• Σειρά: The Springer International Series in Engineering and Computer Science, Office of Naval Research Advanced Book Series, 283
• Θέματα: 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...