Blank Cover Image

Probabilistic analysis of distributed fault-tolerant systems

フォーマット:
電子ブック
責任表示:
Dutertre, Bruno.
言語:
英語
出版情報:
Hampton, Va.
著者名:
Dutertre, Bruno.  
子書誌情報
Loading
オンライン
ジャーナル/ブックへリンク
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Integrated formal analysis of timed-triggered ethernet

Dutertre, Bruno.
7 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems

FTRTFT '98, Ravn, Anders P., Rischel, Hans

Springer Berlin Heidelberg
2 電子ブック Fault injection and monitoring capability for a fault-tolerant distributed computation system

Torres-Pomales, Wilfredo.
8 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems

FTRTFT 2000, Joseph, M.

Springer Berlin Heidelberg
3 電子ブック Fault-Tolerant Distributed Computing

Simons, Simons, Barbara, Spector, Alfred Z.

Springer New York
9 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems

Joseph

Springer Berlin Heidelberg
4 電子ブック Analysis and design of algorithm-based fault-tolerant systems

Sukumāran Nāyar, Vi. Es.
10 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems

Vytopil, Vytopil, Jan

Springer Berlin Heidelberg
5 電子ブック Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

FORMATS 2004, Lakhnech, Yassine, Yovine, Sergio

Springer Berlin / Heidelberg
11 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems

Langmaack

Springer Berlin Heidelberg
6 電子ブック Structural Failure Models for Fault-Tolerant Distributed Computing

Warns, Timo

Vieweg+Teubner
12 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems

Jonsson, Jonsson, Bengt, Parrow, Joachim

Springer Berlin Heidelberg