Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- Dependability Benchmarking: How Far Are We? -- Safety-Critical Systems in Air...”
Cover Image
Read Now

2
by Banerjee, Utpal
Published 1997
Springer US
“...Dependence Analysis may be considered to be the second edition of the author's 1988 book...”
Cover Image
Read Now

3
by Banerjee, Utpal
Published 1988
Springer US
Table of Contents: “.... Program Model -- 3. Dependence -- 3.1. Dependence Concepts -- 3.2. The Dependence Problem -- 4. Bounds...”
Cover Image
Read Now

4
Published 2000
Springer US
Table of Contents: “...Section 1 Dependable Software and Large Storage Systems: Key Components for Dependable Network...”
Cover Image
Read Now

5
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Architectures for Dependability -- Intrusion-Tolerant Architectures: Concepts and Design...”
Cover Image
Read Now

6
Published 1994
Springer US
Table of Contents: “... of Imprecise Computation to Enhance Dependability of Real-Time Systems -- Analytic Redundancy for Software...”
Cover Image
Read Now

7
Published 1994
Springer US
Table of Contents: “...Frameworks for Dependable Systems -- A Consensus-Based Framework and Model for the Design...”
Cover Image
Read Now

8
Published 1992
Springer Vienna
“...Dependable Computing and Fault-Tolerant Systems...”
Cover Image
Read Now

9
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... fault injection -- Dependability modeling and analysis of complex control systems: An application...”
Cover Image
Read Now

10
Published 1995
Springer Berlin Heidelberg
Table of Contents: “.... Dependability Modelling and Evaluation of Software Fault-Tolerant Systems -- F. Dependability Analysis...”
Cover Image
Read Now

11
Published 1991
Springer Vienna
Table of Contents: “...Validation -- Dependable Computing in the UK -- Software Validation by means of Statistical Testing...”
Cover Image
Read Now

12
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... in Dependable Computing -- An Immune System Paradigm for the Design of Fault Tolerant Systems -- Security...”
Cover Image
Read Now

13
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Keynote Speech -- Reliable and Secure Operation of Smart Cards -- Session 1: Dependability...”
Cover Image
Read Now

14
Published 1993
Springer Vienna
Table of Contents: “... -- Design for Dependability -- Tracing Fault Tolerance -- Dependability and Performance -- Evaluation...”
Cover Image
Read Now

15
Published 1992
Springer Vienna
Table of Contents: “... -- Impact of Correlated Failures on Dependability in a VAXcluster System -- Design Diversity -- Assuring...”
Cover Image
Read Now

16
Published 1995
Springer Vienna
Table of Contents: “... in Critical Systems -- Are Formal Methods Ready for Dependable Systems? -- Industrial Use of Formal Methods...”
Cover Image
Read Now

17
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...9.4. Dependability and Computational Models -- 9.5. Support for Distributed Real-Time Computing...”
Cover Image
Read Now

19
Published 1987
Springer Vienna
Table of Contents: “... Tolerant Computing at the Jet Propulsion Laboratory and at UCLA: 1955–1986 -- Dependable Computing...”
Cover Image
Read Now

20
Published 1988
Springer Vienna
“...Dependable Computing and Fault-Tolerant Systems...”