Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /

Antzeko izenburuak

• Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /
  nork: Anders P. Ravn, Hans Rischel
  Argitaratua: (1998)
• Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings /
  nork: Werner Damm, Ernst -Rüdiger Olderog
  Argitaratua: (2002)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems : Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings /
  nork: Yassine Lakhnech, Sergio Yovine
  Argitaratua: (2004)
• Software Fault Tolerance Techniques and Implementation /
  nork: Pullum, Laura L.
  Argitaratua: (2001)
• From Fault Classification to Fault Tolerance for Multi-Agent Systems /
  nork: Katia Potiron, Amal El Fallah Seghrouchni, Patrick Taillibert
  Argitaratua: (2013)