モデル検査によるHBACプログラムの情報流解析
モデル検査によるHBACプログラムの情報流解析
复制标题
使用模型检查的 HBAC 程序信息流分析
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
高田喜朗
中科院分区：
文献类型：
--
作者：
蒲野茂幸;佐々木晃;森本祥一;阿萬裕久;高田喜朗;佐々木晃,市川寛,田沼英樹;森本祥一;阿萬裕久;高田喜朗
