著者典拠情報

標目形：
Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
属性：
Meeting
場所：
Warwick;Nijmegen;Lübeck, Germany;Uppsala, Sweden;Lyngby,Denmark;Pune, India
日付：
1988;1992;1994;1996;1998;2000
から見よ参照形：
FTRTFT
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
International Symposium, FTRTFT
注記：
Its (9/22-23/88 : Warwick, UK) Formal techniques in real-time and fault-tolerant systems, c1988
Its (2nd : 1992 : Nijmegen, The Netherlands) Formal techniques in real-time and fault-tolerant systems, c1991
EDSRC:Formal techniques in real-time and fault-tolerant systems, c1998: t.p. (5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998)
His Formal techniques in real-time and fault-tolerant systems, c2000: t.p. (6th International Symposium, FTRTFT 2000, Pune, India, Sept. 20-22, 2000) pref. (Six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT)) spine (FTRTFT)
著者典拠ID：
DA02672371


1.

図書
図書
1. 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.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2469
所蔵情報: loading…
2.

図書
図書
2. 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.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3253
所蔵情報: loading…