Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings /

समान संसाधन

• Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 /
  प्रकाशित: (1988)
• Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings /
  प्रकाशित: (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 /
  प्रकाशित: (1994)
• Fault-tolerant software systems : techniques and applications /
  प्रकाशित: (1992)
• Fault tolerance, principles and practice /
  द्वारा: Anderson, T., 1947-
  प्रकाशित: (1981)