Jump to main content
図書

ディペンダブルシステムワークショップ : 論文集 第6回 (算譜科学研究速報 ; AIST-PS-2008-16)

Icons representing 図書

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

(算譜科学研究速報 ; AIST-PS-2008-16)

Call No. (NDL)
M159-J554
Bibliographic ID of National Diet Library
000010192364
Material type
図書
Author
産業技術総合研究所 (システム検証研究センター) 編
Publisher
産業技術総合研究所システム検証研究センター
Publication date
2008.12
Material Format
Paper
Capacity, size, etc.
138p ; 30cm
NDC
007.63
View All

Notes on use

Note (General):

会期・会場: 2008年7月2日-4日 函館大沼プリンスホテル

Detailed bibliographic record

Contents:

招待講演組込みシステムにおける形式的手法の実用化に向けて / 佐野範佳 著モデル検査...

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
図書
Title Transcription
ディペンダブル システム ワークショップ : ロンブンシュウ
Volume
第6回
Author/Editor
産業技術総合研究所 (システム検証研究センター) 編
Author Heading
産業技術総合研究所システム検証研究センター サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター ( 01050139 )Authorities
Publication Date
2008.12
Publication Date (W3CDTF)
2008