Formal Techniques in Real-Time and Fault-Tolerant Systems

Mapping Intimacies ◽

10.1007/3-540-55092-5 ◽

1991 ◽

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-45352-0 ◽

2000 ◽

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-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, 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

On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems

Lecture Notes in Computer Science - Distributed Computing ◽

10.1007/3-540-36108-1_24 ◽

2002 ◽

pp. 354-369 ◽

Author(s):

Marcos K. Aguilera ◽

Gérard Le Lann ◽

Sam Toueg

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Failure Detectors ◽

Fault Tolerant Systems ◽

Download Full-text

A reasoning framework for the architectural design of real-time fault-tolerant systems

"Third Workshop on Architecting Dependable Systems (WADS)" W19S Workshop - 26th International Conference on Software Engineering ◽

10.1049/ic:20040494 ◽

2004 ◽

Author(s):

M. Bass

Keyword(s):

Real Time ◽

Architectural Design ◽

Fault Tolerant ◽

Fault Tolerant Systems

Download Full-text