2018-12-13 (Thu)

Post date: Dec 26, 2018 5:11:19 AM

講演

• • 武山誠：A modelling approach for system life cycles assurance

• 木下修司: ISO/IEC/IEEE 15026-2 Assurance case 改訂の現状

(いずれも日本ソフトウェア科学会第16回ディペンダブルシステムワークショップにて．）