文献
J-GLOBAL ID:201002294306569739
整理番号:10A0944922
複雑システムの信頼性を向上させる開発手法-アーキテクチャ設計手法とモデル検査の融合-
著者 (3件):
加藤淳
(慶応大 大学院システムデザイン・マネジメント研究科)
,
浦郷正隆
(慶応大 大学院システムデザイン・マネジメント研究科)
,
狼嘉彰
(慶応大 大学院システムデザイン・マネジメント研究科)
資料名:
Synthesiology
(Synthesiology)
巻:
3
号:
3
ページ:
197-212
発行年:
2010年08月
JST資料番号:
L6839A
ISSN:
1882-6229
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)