<図書>

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

(Lecture notes in computer science;1486)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1486 2012743213

保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Formal 8010214164


書誌詳細を非表示

出版者 Berlin : Springer
出版年 c1998
大きさ viii, 338 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (5th : 1998 : Lyngby, Denmark)
Ravn, Anders P.
Rischel, Hans
件 名 LCSH:Real-time data processing -- Congresses
LCSH:Fault-tolerant computing -- Congresses
分 類 LCC:QA76.54
DC20:004/.33
本文言語 英語
書誌ID 2000783791
ISBN 3540650032
NCID BA37575568 WCLINK

類似資料

  1. 1 Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings / J. Vytopil (ed.)
  2. 2 Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow (eds.)
  3. 3 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.)
  4. 4 Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings / Mathai Joseph (ed.)
  5. 5 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.)
  6. 6 Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph (ed.)
  7. 7 Real time computing / edited by Wolfgang A. Halang and Alexander D. Stoyenko
  8. 8 Foundations of real-time computing : formal specifications and methods / edited by Andre M. van Tilborg, Gary M. Koob
  9. 9 Synchronization in real-time systems : a priority inheritance approach / by Ragunathan Rajkumar
  10. 10 Foundations of real-time computing : scheduling and resource management / edited by André M. van Tilborg, Gary M. Koob

ページトップ