検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow (eds.) T2 Lecture notes in computer science A1 Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems A1 Jonsson, Bengt, 1957- A1 Parrow, Joachim, 1956- YR 1996 FD c1996 VO : gw SP x, 478 p. K1 Real-time data processing -- Congresses K1 Fault-tolerant computing -- Congresses PB Springer PP Berlin SN 3540616489 LA English (英語) CL LCC:QA76.54 CL DC20:004/.33 NO Includes bibliographical references and index NO 書誌ID=1000542771; NCID=BA28257583; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000542771 OL 30