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

>> Google Books

QRコード(所蔵情報)

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

言語:

英語

出版情報:

Berlin ; Tokyo : Springer, c2002

形態:

x, 453 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 2469 <BA00009279>

書誌ID:

BA58768617

ISBN:

9783540441656 [3540441654]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Fault-tolerant computing--Congresses; Real-time data processing--Congresses
分類・件名:	LCC : QA76.54 DDC : 004/.33 LCSH : Real-time data processing -- Congresses LCSH : Fault-tolerant computing -- Congresses
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT 2002, Damm, Werner, Olderog, E.-R Springer Berlin Heidelberg	7 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems Jonsson, Jonsson, Bengt, Parrow, Joachim Springer Berlin Heidelberg
2 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT 2000, Joseph, M. Springer Berlin Heidelberg	8 図書 Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modelling and analysis of timed … FORMATS, Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lakhnech, Yassine, Yovine, Sergio Springer
3 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT '98, Ravn, Anders P., Rischel, Hans Springer Berlin Heidelberg	9 電子ブック Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems FORMATS 2004, Lakhnech, Yassine, Yovine, Sergio Springer Berlin / Heidelberg
4 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems Joseph Springer Berlin Heidelberg	10 図書 Spectral techniques and fault detection Karpovsky, Mark G., International Workshop on Spectral Techniques and Fault Detection Academic Press
5 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems Vytopil, Vytopil, Jan Springer Berlin Heidelberg	11 図書 TRON Project 1988 : open-architecture computer systems : proceedings of the Fifth TRON Project Symposium TRON Project Symposium, 坂村, 健(1951-) Springer-Verlag
6 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems Langmaack Springer Berlin Heidelberg	12 図書 TRON Project 1989 : open-architecture computer systems : proceedings of the Sixth TRON Project Symposium TRON Project Symposium, 坂村, 健(1951-) Springer-Verlag