メンバー紹介 - 都丸卓也，本田耕三，中川博之，田原康之，大須賀昭彦，”非同期通信を行うWebアプリケーションによる資源競合問題に対するモデル検査による検証”，電子情報通信学会 知能ソフトウェア工学研究会，信学技報KBSE2012-67，pp53-58 (2013.1.29).