Ítems similars: Formal Techniques in Real-Time and Fault-Tolerant Systems :
- Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /
- 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 /
- 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 /
- Software Fault Tolerance Techniques and Implementation /
- From Fault Classification to Fault Tolerance for Multi-Agent Systems /
- Rigorous Development of Complex Fault-Tolerant Systems /