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

Documenti analoghi

• Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /
  di: Anders P. Ravn, Hans Rischel
  Pubblicazione: (1998, c1998)
• 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 /
  di: Werner Damm, Ernst -Rüdiger Olderog
  Pubblicazione: (2002, c2002)
• 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 /
  di: Yassine Lakhnech, Sergio Yovine
  Pubblicazione: (2004, c2004)
• Software Fault Tolerance Techniques and Implementation /
  di: Pullum, Laura L.
  Pubblicazione: (2001, c2001)
• From Fault Classification to Fault Tolerance for Multi-Agent Systems /
  di: Katia Potiron, Amal El Fallah Seghrouchni, Patrick Taillibert
  Pubblicazione: (2013, c2013)