Responsive computer systems : steps toward fault-tolerant real-time systems /

Những quyển sách tương tự

• Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 /
  Được phát hành: (1988)
• Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings /
  Được phát hành: (1991)
• Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings /
  Được phát hành: (1996)
• Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings /
  Được phát hành: (1994)
• Fault-tolerant software systems : techniques and applications /
  Được phát hành: (1992)