ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Mapping Intimacies
◽
10.1007/b100824
◽
2004
◽
Cited By ~ 2
Keyword(s):
Fault Tolerant
◽
Fault Tolerant Systems
◽
Formal Techniques
Download Full-text
Related Documents
Cited By
References
Formal Techniques in Real-Time and Fault-Tolerant Systems
10.1007/3-540-45352-0
◽
2000
◽
Cited By ~ 1
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
◽
Cited By ~ 7
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
◽
Cited By ~ 2
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
◽
Cited By ~ 2
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
◽
Cited By ~ 3
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
◽
Cited By ~ 4
Keyword(s):
Real Time
◽
Fault Tolerant
◽
Fault Tolerant Systems
◽
Formal Techniques
Download Full-text
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
◽
Cited By ~ 2
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/978-1-4615-3220-0
◽
1993
◽
Cited By ~ 4
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
◽
Cited By ~ 4
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
◽
Cited By ~ 3
Author(s):
JianHui Jiang
◽
YingHua Min
◽
ChengLian Peng
Keyword(s):
Fault Tolerant
◽
Fault Tolerant Systems
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close