Dependable Computing and Fault-Tolerant Systems - Dependable Computing for Critical Applications 4
Latest Publications

TOTAL DOCUMENTS

38

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Vienna

9783709193983, 9783709193969

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Role for Formal Methodists

Dependable Computing and Fault-Tolerant Systems - Dependable Computing for Critical Applications 4 ◽

10.1007/978-3-7091-9396-9_7 ◽

1995 ◽

pp. 43-45

Author(s):

Fred B. Schneider

Download Full-text

System-Level Reliability and Sensitivity Analyses for Three Fault-Tolerant System Architectures

Dependable Computing and Fault-Tolerant Systems - Dependable Computing for Critical Applications 4 ◽

10.1007/978-3-7091-9396-9_37 ◽

1995 ◽

pp. 459-477 ◽

Author(s):

Joanne Bechta Dugan ◽

Michael R. Lyu

Keyword(s):

Fault Tolerant ◽

System Level ◽

Sensitivity Analyses ◽

System Architectures ◽

Fault Tolerant System

Download Full-text

Scheduling Fault Recovery Operations for Time-Critical Applications

Dependable Computing and Fault-Tolerant Systems - Dependable Computing for Critical Applications 4 ◽

10.1007/978-3-7091-9396-9_35 ◽

1995 ◽

pp. 411-432 ◽

Author(s):

Sandra Ramos-Thuel ◽

Jay K. Strosnider

Keyword(s):

Fault Recovery ◽

Download Full-text

Trace-Based Compositional Refinement of Fault Tolerant Distributed Systems

Dependable Computing and Fault-Tolerant Systems - Dependable Computing for Critical Applications 4 ◽

10.1007/978-3-7091-9396-9_25 ◽

1995 ◽

pp. 309-324

Author(s):

Henk Schepers ◽

Jos Coenen

Keyword(s):

Distributed Systems ◽

Download Full-text

Specification and Verification of Behavioral Patterns in Distributed Computations

Dependable Computing and Fault-Tolerant Systems - Dependable Computing for Critical Applications 4 ◽

10.1007/978-3-7091-9396-9_23 ◽

1995 ◽

pp. 271-289 ◽

Author(s):

Özalp Babaoğlu ◽

Michel Raynal

Keyword(s):

Behavioral Patterns ◽

Distributed Computations ◽

Specification And Verification

Download Full-text

Assessing the Dependability of Embedded Software Systems Using the Dynamic Flowgraph Methodology

Dependable Computing and Fault-Tolerant Systems - Dependable Computing for Critical Applications 4 ◽

10.1007/978-3-7091-9396-9_13 ◽

1995 ◽

pp. 161-184 ◽

Author(s):

Chris Garrett ◽

Michael Yau ◽

Sergio Guarro ◽

George Apostolakis

Keyword(s):

Embedded Software ◽

Software Systems

Download Full-text

On Doubly Guarded Multiprocessor Control System Design

Dependable Computing and Fault-Tolerant Systems - Dependable Computing for Critical Applications 4 ◽

10.1007/978-3-7091-9396-9_1 ◽

1995 ◽

pp. 3-13

Author(s):

Władysław M. Turski

Keyword(s):

Control System ◽

System Design ◽

Control System Design

Download Full-text

A Modular Robust Binary Tree

Dependable Computing and Fault-Tolerant Systems - Dependable Computing for Critical Applications 4 ◽

10.1007/978-3-7091-9396-9_26 ◽

1995 ◽

pp. 327-347 ◽

Author(s):

Nasser A. Kanawati ◽

Ghani A. Kanawati ◽

Jacob A. Abraham

Keyword(s):

Download Full-text

Fault Tolerance and Security

Dependable Computing and Fault-Tolerant Systems - Dependable Computing for Critical Applications 4 ◽

10.1007/978-3-7091-9396-9_32 ◽

1995 ◽

pp. 389-391 ◽

Author(s):

Brian Randell

Keyword(s):

Fault Tolerance

Download Full-text

Formal Methods Panel: Are Formal Methods Ready for Dependable Systems?

Dependable Computing and Fault-Tolerant Systems - Dependable Computing for Critical Applications 4 ◽

10.1007/978-3-7091-9396-9_3 ◽

1995 ◽

pp. 31-32

Author(s):

Ricky W. Butler

Keyword(s):

Formal Methods ◽

Dependable Systems

Download Full-text