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 /

Lignende værker

• Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /
  af: Mathai Joseph
  Udgivet: (2000, c2000)
• Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /
  af: Anders P. Ravn, Hans Rischel
  Udgivet: (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 /
  af: Werner Damm, Ernst -Rüdiger Olderog
  Udgivet: (2002, c2002)
• Software Fault Tolerance Techniques and Implementation /
  af: Pullum, Laura L.
  Udgivet: (2001, c2001)
• Methods, Models and Tools for Fault Tolerance /
  af: Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
  Udgivet: (2009, c2009)