すべての資料

図書

雑誌

詳細検索

タイトル

タイトル完全一致統一タイトルを含む

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

図書館ID・機関ID・地域を記憶する

閉じる

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

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

所蔵館53館

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

関連著者

ページトップへ