Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

ID:DA02672371

Alias Name

FTRTFT

International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

International Symposium, FTRTFT

Search authors sharing the same name

Search Results1-8 of 8

1

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

Yassine Lakhnech, Sergio Yovine (eds.)

Springer c2004 Lecture notes in computer science 3253

Available at 17 libraries
2

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

Werner Damm, Ernst-Rüdiger Olderog (eds.)

Springer c2002 Lecture notes in computer science 2469

Available at 27 libraries
3

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings

Mathai Joseph (ed.)

Springer c2000 Lecture notes in computer science 1926

Available at 33 libraries
4

Formal techniques in real-time and fault-tolerant systems : 5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998 : proceedings

Anders P. Ravn, Hans Rischel (eds.)

Springer c1998 Lecture notes in computer science 1486

Available at 44 libraries
5

Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Bengt Jonsson, Joachim Parrow (eds.)

Springer c1996 Lecture notes in computer science 1135

: gw

Available at 53 libraries
6

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, 1994 : proceedings

H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.)

Springer-Verlag c1994 Lecture notes in computer science 863

Available at 55 libraries
7

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings

J. Vytopil (ed.)

Springer-Verlag c1991 Lecture notes in computer science 571

: gw , : us

Available at 53 libraries
8

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

M. Joseph (ed.)

Springer-Verlag c1988 Lecture notes in computer science 331

: gw , : us

Available at 53 libraries

Search this author

Related Authors

Page Top