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. Springer 2004 Lecture Notes in Computer Science 3253 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. Springer 2002 Lecture Notes in Computer Science 2469 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. Springer 2000 Lecture Notes in Computer Science 1926 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. Springer 1998 Lecture Notes in Computer Science 1486 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. Springer 1996 Lecture Notes in Computer Science 1135 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. Springer 1994 Lecture Notes in Computer Science 863 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. Springer 1991 Lecture Notes in Computer Science 571 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. Springer 1988 Lecture Notes in Computer Science 331 ISBN 3-540-50302-1 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team