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

>> Google Books

Formal Techniques in Real-Time and Fault-Tolerant Systems

フォーマット:: 電子ブック
責任表示:: Joseph
言語:: 英語
出版情報:: Springer Berlin Heidelberg, 1988
著者名:: Joseph
ISBN:: 9783540503026 [3540503021]
9783540459651 [3540459650]

子書誌情報

オンライン

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

所蔵情報

Loading availability information

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

詳細

刊行状態:	Unknown status
分類・件名:	LCC : 1000000000233318
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 2000, Joseph, M. 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 '98, Ravn, Anders P., Rischel, Hans 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 Vytopil, Vytopil, Jan 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 Langmaack 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 Jonsson, Jonsson, Bengt, Parrow, Joachim 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 FTRTFT 2002, Damm, Werner, Olderog, E.-R Springer Berlin Heidelberg	12 電子ブック Probabilistic analysis of distributed fault-tolerant systems Dutertre, Bruno.