Joined SNPD2019 and AAI2019/EAIS2019 in Toyama to present our achievements on Model checking, and organise special session on GQM+Strategies with Shintani-san. Shuji presented paper on linking GQM+Strategies and SysML.

Joined #SNPD2019 and #AAI2019 #EAIS2019 in Toyama to present our achievements on Model checking, and organise special session on GQM+Strategies with Shintani-san. Shuji presented paper on linking GQM+Strategies and SysML.