2019-09-10 国際会議ASSURE2019

Post date: Sep 2, 2019 11:49:23 PM

安全性に関する国際会議SAFECOMP2019の併設ワークショップASSURE2019(7th International Workshop on Assurance Cases for Software-intensive Systems)において，木下佳樹所長 及び 武山誠所員 及び 木下修司研究員が執筆に参加した論文「A modelling approach for system life cycles assurance」が発表されました。