Modular GSNの定式化
Bibliographic Information
- Other Title
-
- Modular GSN ノ ジョウシキカ
- Formalization of Modular GSN
Search this article
Abstract
Assurance Case attracts attention as a means to guarantee the safety of systems. Modular GSN has been proposed as the method that enabling of the Assurance Case Module. But Modular GSN has not been defined explicitly. In this paper, we define the Modular GSN formally.
IEICE Technical Report;SS2012-35, IEICE Technical Report;KBSE2012-37
Journal
-
- 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学
-
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 112 (165), 151-156, 2012-07
一般社団法人電子情報通信学会
- Tweet
Details 詳細情報について
-
- CRID
- 1050564288758153216
-
- NII Article ID
- 110009626588
- 110009626485
-
- NII Book ID
- AA1123312X
-
- HANDLE
- 2237/23746
-
- ISSN
- 09135685
-
- Text Lang
- ja
-
- Article Type
- journal article
-
- Data Source
-
- IRDB
- NDL
- CiNii Articles