TY - BOOK AU - Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems AU - Damm, Werner AU - Olderog, E.-R. TI - 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 PB - Springer PY - 2002 T2 - Lecture notes in computer science VL - 2469 EP - x, 453 p. UR - https://ci.nii.ac.jp/ncid/BA58768617 SN - 3540441654 ER -
AltStyle
によって変換されたページ
(->オリジナル)
/
アドレス:
モード:
デフォルト
音声ブラウザ
ルビ付き
配色反転
文字拡大
モバイル