Overview
Part of the book series: Dependable Computing and Fault-Tolerant Systems (DEPENDABLECOMP, volume 9)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (38 papers)
-
Panel Session: Qualitative versus Quantitative Assessment of Security
-
Basic Problems in Distributed Fault-Tolerant Systems
-
Specification and Verification of Distributed Protocols
-
Design Techniques for Robustness
-
Panel Session: Common Techniques in Fault-Tolerance and Security
Editors and Affiliations
Bibliographic Information
Book Title: Dependable Computing for Critical Applications 4
Editors: Flaviu Cristian, Gerard Lann, Teresa Lunt
Series Title: Dependable Computing and Fault-Tolerant Systems
DOI: https://doi.org/10.1007/978-3-7091-9396-9
Publisher: Springer Vienna
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag/Wien 1995
Softcover ISBN: 978-3-7091-9398-3Published: 12 February 2012
eBook ISBN: 978-3-7091-9396-9Published: 06 December 2012
Series ISSN: 0932-5581
Edition Number: 1
Number of Pages: VIII, 499
Topics: Special Purpose and Application-Based Systems, Automotive Engineering, Software Engineering, Artificial Intelligence