List of works
研究会・全国大会等
[1]
境 顕宏, 鵜林 尚靖, 中島 震, "
RBACモデルの形式検証と修正支援
," 情報処理学会 研究報告 2008-SE-159, 2008年.