@article{oai:nagoya.repo.nii.ac.jp:00021598,
 author = {猿渡, 卓也 and 松野, 裕 and 星野, 隆 and 山本, 修一郎 and SARUWATARI, Takuya and MATSUNO, Yutaka and HOSHINO, Takashi and YAMAMOTO, Shuichiro},
 issue = {165},
 journal = {電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学},
 month = {Jul},
 note = {システムの安全性などを保証する手段として,Assurance Caseが注目されている.Assurance Caseの記法として,Assurance CaseのModule化を可能とするModular GSNが提唱されているが,明確に定義されていない.このため,本稿では,Modular GSNを形式的に定義することを試みる., 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},
 pages = {151--156},
 title = {Modular GSNの定式化},
 volume = {112},
 year = {2012}
}