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

ID:DA02672371

別名: FTRTFT

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

International Symposium, FTRTFT

同姓同名の著者を検索

検索結果8件中 1-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

所蔵館17館
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

所蔵館27館
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

所蔵館33館
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

所蔵館44館
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

所蔵館53館
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

所蔵館55館
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

所蔵館54館
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

所蔵館55館

この著者を外部サイトでさがす

関連著者

ページトップへ