Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /

Antzeko izenburuak

• Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /
  nork: Mathai Joseph
  Argitaratua: (2000, c2000)
• 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, 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 /
  nork: Yassine Lakhnech, Sergio Yovine
  Argitaratua: (2004, c2004)
• Software Fault Tolerance Techniques and Implementation /
  nork: Pullum, Laura L.
  Argitaratua: (2001, c2001)
• Methods, Models and Tools for Fault Tolerance /
  nork: Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
  Argitaratua: (2009, c2009)