Jump to main content
図書

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

Icons representing 図書

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

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

Call No. (NDL)
M159-J626
Bibliographic ID of National Diet Library
000010415760
Material type
図書
Author
日本ソフトウェア科学会
Publisher
[日本ソフトウェア科学会ディペンダブルシステム研究会]
Publication date
[2009]
Material Format
Paper
Capacity, size, etc.
178p ; 26cm
NDC
007.63
View All

Notes on use

Note (General):

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

Detailed bibliographic record

Contents:

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

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISSN (series)
1341-870X
Title Transcription
ディペンダブル システム ワークショップ : ロンブンシュウ
Volume
第7回
Author Heading
日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )Authorities
Publication Date
[2009]
Publication Date (W3CDTF)
2009