検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 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.) T2 Lecture notes in computer science A1 Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems A1 Langmaack, Hans A1 Roever, W.-P. de, 1943- A1 Vytopil, J., 1947- A1 Working Group Provably Correct Systems YR 1994 FD c1994 SP xiv, 787 p. K1 Real-time data processing -- Congresses K1 Fault-tolerant computing -- Congresses PB Springer-Verlag PP Berlin ; New York SN 3540584684 LA English (英語) CL LCC:QA76.54 CL DC20:004/.33 NO Includes bibliographical references NO 書誌ID=1000505271; NCID=BA2347089X; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000505271 OL 30