複雑システムの信頼性を向上させる開発手法--アーキテクチャ設計手法とモデル検査の融合
書誌事項
- タイトル別名
-
- フクザツ システム ノ シンライセイ オ コウジョウ サセル カイハツ シュホウ アーキテクチャ セッケイ シュホウ ト モデル ケンサ ノ ユウゴウ
- A methodology for improving reliability of complex systems: synthesis of architectural design method and model checking
この論文をさがす
収録刊行物
-
- Synthesiology = 構成学 / シンセシオロジー編集委員会 編
-
Synthesiology = 構成学 / シンセシオロジー編集委員会 編 3 (3), 197-212, 2010-08
[つくば] : 産業技術総合研究所
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1520009409868260736
-
- NII論文ID
- 40017294594
-
- NII書誌ID
- AA12294844
-
- ISSN
- 18826229
-
- NDL書誌ID
- 10832610
-
- 本文言語コード
- ja
-
- NDL 雑誌分類
-
- ZM2(科学技術--科学技術一般--大学・研究所・学会紀要)
-
- データソース種別
-
- NDL
- CiNii Articles
