メンバー紹介 - Yasuyuki Tahara, Akihiko Ohsuga and Shinichi Honiden: Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects, The 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2017), pp.152-162 (2017.5)

Yasuyuki Tahara, Akihiko Ohsuga and Shinichi Honiden: Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects, The 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2017), pp.152-162 (2017.5)