2016年12月16日
Analysis of Open Systems Dependability Requirements for Formal Assurance Cases
日本ソフトウェア科学会 第14回ディペンダブルシステムワークショップ(DSW 2016)、北海道函館市
- 記述言語
- 英語
- 会議種別
- 口頭発表（一般）
木下 修司
キノシタ シュウジ (Shuji Kinoshita)
更新日: 04/03