2018-12-13 (Thu)

2018/12/25 21:11 に 木下佳樹 が投稿
講演
  • 武山誠:A modelling approach for system life cycles assurance
  • 木下修司: ISO/IEC/IEEE 15026-2 Assurance case 改訂の現状
(いずれも日本ソフトウェア科学会第16回ディペンダブルシステムワークショップにて.)
Comments