Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)

8. FTRTFT / 2. FORMATS 2004: Grenoble, France

Yassine Lakhnech, Sergio Yovine (Eds.): Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling 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. Lecture Notes in Computer Science 3253 Springer 2004, ISBN 3-540-23167-6
Contents

7. FTRTFT 2002: Oldenburg, Germany

Werner Damm, Ernst-Rüdiger Olderog (Eds.): 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. Lecture Notes in Computer Science 2469 Springer 2002, ISBN 3-540-44165-4
Contents

6. FTRTFT 2000: Pune, India

Mathai Joseph (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings. Lecture Notes in Computer Science 1926 Springer 2000, ISBN 3-540-41055-4
Contents

5. FTRTFT 1998: Lyngby, Denmark

Anders P. Ravn, Hans Rischel (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Lecture Notes in Computer Science 1486 Springer 1998, ISBN 3-540-65003-2
Contents

4. FTRTFT 1996: Uppsala, Sweden

Bengt Jonsson, Joachim Parrow (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings. Lecture Notes in Computer Science 1135 Springer 1996, ISBN 3-540-61648-9
Contents

3. FTRTFT 1994: Lübeck, Germany

Hans Langmaack, Willem P. de Roever, Jan Vytopil (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings. Lecture Notes in Computer Science 863 Springer 1994, ISBN 3-540-58468-4
Contents

2. FTRTFT 1992: Nijmegen, The Netherlands

Jan Vytopil (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Lecture Notes in Computer Science 571 Springer 1991, ISBN 3-540-55092-5
Contents

1. FTRTFT 1988: Warwick, UK

Mathai Joseph (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988. Lecture Notes in Computer Science 331 Springer 1988, ISBN 3-540-50302-1
Contents