文献
J-GLOBAL ID:201702223162830924
整理番号:17A0133215
GSN展開評価手法とセーフティクリティカルなシステムの開発への適用
An Evaluation Method of GSN Argument Development and its application to Safety-critical System Development
著者 (2件):
水本圭祐
(長岡技科大)
,
平尾裕司
(長岡技科大)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
116
号:
376(SSS2016 26-30)
ページ:
17-20
発行年:
2016年12月13日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)