Formal Techniques for Synchronized Fault-Tolerant Systems

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

10.1007/978-3-7091-4009-3_7 ◽

1993 ◽

pp. 163-188 ◽

Author(s):

Ben L. Di Vito ◽

Ricky W. Butler

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems ◽

Formal Techniques

Download Full-text

Formal Techniques in Real-Time and Fault-Tolerant Systems

10.1007/3-540-45352-0 ◽

2000 ◽

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Fault Tolerant Systems ◽

Formal Techniques

Download Full-text

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

10.1007/b100824 ◽

2004 ◽

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems ◽

Formal Techniques

Download Full-text

Formal Techniques in Real-Time and Fault-Tolerant Systems

10.1007/3-540-58468-4 ◽

1994 ◽

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Fault Tolerant Systems ◽

Formal Techniques

Download Full-text

Formal Techniques in Real-Time and Fault-Tolerant Systems

10.1007/3-540-50302-1 ◽

1988 ◽

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Fault Tolerant Systems ◽

Formal Techniques

Download Full-text

Formal Techniques in Real-Time and Fault-Tolerant Systems

10.1007/bfb0055330 ◽

1998 ◽

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Fault Tolerant Systems ◽

Formal Techniques

Download Full-text

Formal Techniques in Real-Time and Fault-Tolerant Systems

10.1007/3-540-45739-9 ◽

2002 ◽

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Fault Tolerant Systems ◽

Formal Techniques

Download Full-text

Formal Techniques in Real-Time and Fault-Tolerant Systems

10.1007/3-540-61648-9 ◽

1996 ◽

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Fault Tolerant Systems ◽

Formal Techniques

Download Full-text

Formal Techniques in Real-Time and Fault-Tolerant Systems

10.1007/978-1-4615-3220-0 ◽

1993 ◽

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Fault Tolerant Systems ◽

Formal Techniques

Download Full-text

Formal Techniques in Real-Time and Fault-Tolerant Systems

10.1007/3-540-55092-5 ◽

1991 ◽

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Fault Tolerant Systems ◽

Formal Techniques

Download Full-text

Fault-tolerant systems with concurrent error-locating capability

Journal of Computer Science and Technology ◽

10.1007/bf02948884 ◽

2003 ◽

Vol 18 (2) ◽

pp. 190-200 ◽

Author(s):

JianHui Jiang ◽

YingHua Min ◽

ChengLian Peng

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems

Download Full-text