default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)
8. FTRTFT / 2. FORMATS 2004: Grenoble, France
- Yassine Lakhnech, Sergio Yovine:
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:
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:
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:
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:
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:
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:
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:
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]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-19 20:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
