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

書誌事項

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.)

(Lecture notes in computer science, 2469)

Springer, c2002

大学図書館所蔵 件 / 27

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ