ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術
著者
書誌事項
ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術
共立出版, 2005.11
- タイトル別名
-
Dependable systems
ディペンダブルシステム : 高信頼システム実現のための耐故障検証テスト技術
- タイトル読み
-
ディペンダブル システム : コウシンライ システム ジツゲン ノ タメ ノ タイコショウ ケンショウ テスト ギジュツ
大学図書館所蔵 全100件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p[227]-233
内容説明・目次
内容説明
本書では、分散システムの耐故障化技術、形式的設計検証技術、および、テスト技術の三つのテーマについて、最近の技術をカバーしつつ、大学院レベルの教科書、あるいは、研究者の参考書として使えるように、わかりやすく解説することを目指した。
目次
- 第1章 基礎概念(ディペンダブルなシステムとは;用語 ほか)
- 第2章 誤り検出とマスクによる耐故障化技術(静的マスク;動的マスク ほか)
- 第3章 分散システムのフォールトトレランス(分散システムのモデル;合意問題 ほか)
- 第4章 形式的設計検証技術(基本概念;CTLモデル検証 ほか)
- 第5章 テスト技術(テストとは;故障モデル ほか)
「BOOKデータベース」 より