Search: 簡易 | 詳細 || Language: 英語 | 日本語 || Login: ログイン | Help: ヘルプ |

3 件の該当がありました. : このページのURL : HTML

[1] Toshinori Takai and Hiroyuki Kido, "A Supplemental Notation of Gsn Aiming for Dealing with Changes of Assurance Cases," In The Fourth Workshop on Open Systems Dependability (WOSD2014), November 2014.
[2] Khana Chindamaikul, Toshinori Takai, and Hajimu Iida, "Retrieving Information from a Document Repository for Constructing Assurance Cases," In 2014 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2014), November 2014.
[1] Toshinori Takai and Hiroyuki Kido, "A Framework for Defining Degree of Confidence for Assurance Cases," In SICE Annual Conference 2014, September 2014.