Formal Techniques in Real-Time and Fault-Tolerant Systems | 金沢大学附属図書館 OPAC plus

>> Google Books

Formal Techniques in Real-Time and Fault-Tolerant Systems

フォーマット:

電子ブック

責任表示:

FTRTFT 2000 ; Joseph, M.

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2000

著者名:

ISBN:

9783540410553 [3540410554]

9783540453529 [3540453520]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

Loading availability information

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

詳細

その他の標題:	6TH INTERNATIONAL SYMPOSIUM, FTRTFT 2000 PUNE, INDIA, SEPTEMBER 20-22, 2000 PROCEEDINGS FORMAL TECHNIQUES IN REAL-TIME & FAULT-TOLERANT SYSTEMS
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000211327
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 '98, Ravn, Anders P., Rischel, Hans Springer Berlin Heidelberg	7 電子ブック Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems FORMATS 2004, Lakhnech, Yassine, Yovine, Sergio Springer Berlin / Heidelberg
2 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT 2002, Damm, Werner, Olderog, E.-R 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 Joseph Springer Berlin Heidelberg	9 図書 Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September … Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Damm, Werner, 1950-, Olderog, E.-R. Springer
4 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems Vytopil, Vytopil, Jan Springer Berlin Heidelberg	10 電子ブック Formal Methods for Real-Time and Probabilistic Systems International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Katoen, Joost-Pieter Springer Berlin Heidelberg
5 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems Langmaack Springer Berlin Heidelberg	11 電子ブック Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bernardo, Marco, … Springer Berlin / Heidelberg
6 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems Jonsson, Jonsson, Bengt, Parrow, Joachim Springer Berlin Heidelberg	12 電子ブック Probabilistic analysis of distributed fault-tolerant systems Dutertre, Bruno.