本文に飛ぶ
図書

ディペンダブルシステムワークショップ : 論文集 第7回 (日本ソフトウェア科学会研究会資料シリーズ ; no.61)

図書を表すアイコン

ディペンダブルシステムワークショップ : 論文集. 第7回

(日本ソフトウェア科学会研究会資料シリーズ ; no.61)

国立国会図書館請求記号
M159-J626
国立国会図書館書誌ID
000010415760
資料種別
図書
著者
日本ソフトウェア科学会
出版者
[日本ソフトウェア科学会ディペンダブルシステム研究会]
出版年
[2009]
資料形態
ページ数・大きさ等
178p ; 26cm
NDC
007.63
すべて見る

資料に関する注記

一般注記:

会期・会場: 2009年7月14日-16日 函館大沼プリンスホテル主催: 日本ソフトウェア科学会ディペンダブルシステム研究会

資料詳細

内容細目:

モデル検査AISにおける送信予約システムのPRISMを用いた解析と検証 / 豊島崇士, 高橋和子 著モデル検査における外部環境モデル構築手法の提案 / 乾道孝, 吉岡信和, 落水浩一郎 著...

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISSN(シリーズ)
1341-870X
タイトルよみ
ディペンダブル システム ワークショップ : ロンブンシュウ
巻次・部編番号
第7回
著者標目
日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )典拠
出版年月日等
[2009]
出版年(W3CDTF)
2009