Mendeley出力
＜図書＞
ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術
ディペンダブル システム : コウシンライ システム ジツゲン ノ タメ ノ タイコショウ ケンショウ テスト ギジュツ
| 責任表示 | 米田友洋, 梶原誠司, 土屋達弘著 |
|---|---|
| データ種別 | 図書 |
| 出版情報 | 東京 : 共立出版 , 2005.11 |
| 本文言語 | 日本語 |
| 大きさ | viii, 243p ; 22cm |
| 概要 | 本書では、分散システムの耐故障化技術、形式的設計検証技術、および、テスト技術の三つのテーマについて、最近の技術をカバーしつつ、大学院レベルの教科書、あるいは、研究者の参考書として使えるように、わかりやすく解説することを目指した。 |
| 目次 | 第1章 基礎概念(ディペンダブルなシステムとは 用語 ほか) 第2章 誤り検出とマスクによる耐故障化技術(静的マスク 動的マスク ほか) 第3章 分散システムのフォールトトレランス(分散システムのモデル 合意問題 ほか) 第4章 形式的設計検証技術(基本概念 CTLモデル検証 ほか) 第5章 テスト技術(テストとは 故障モデル ほか) |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
中央図 自動書庫 | 007.6/Y 82 | 2005 |
|
003112005403255 |
|
|||
|
|
|
理系図1F 開架 | 007.6/Y 82 | 2005 |
|
031112005020407 |
|
書誌詳細
| 別書名 | 標題紙タイトル:Dependable systems 異なりアクセスタイトル:ディペンダブルシステム : 高信頼システム実現のための耐故障検証テスト技術 |
|---|---|
| 一般注記 | 参考文献: p[227]-233 |
| 著者標目 | 米田, 友洋(1957-) <ヨネダ, トモヒロ> 梶原, 誠司 <カジハラ, セイジ> 土屋, 達弘 <ツチヤ, タツヒロ> |
| 件 名 | BSH:コンピュータ BSH:信頼性(工学) |
| 分 類 | NDC8:007.6 NDC9:007.6 NDC9:548.2 |
| 書誌ID | 1001282903 |
| ISBN | 432012152X |
| NCID | BA7438678X |
| 巻冊次 | ISBN:432012152X ; PRICE:3700円+税 |
| 登録日 | 2009.09.18 |
| 更新日 | 2009.09.18 |