Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
复制标题
Mondex 电子钱包系统形式分析的代数方法
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
K.Futatsugi
中科院分区：
文献类型：
--
作者：
W.Kong;K.Ogata;K.Futatsugi
登录
查看更多内容
重写子句和非子句定理证明方法
DOI：
10.1007/bfb0036919
发表时间：
1983
期刊：
--
影响因子：
--
作者：
J. Hsiang;N. Dershowitz
通讯作者：
N. Dershowitz
从行为规范到重写规范的规范转换
DOI：
--
发表时间：
2008
期刊：
IEICE Transactions 91-D(5)
影响因子：
--
作者：
Masaki Nakamura;Weiqiang Kong;Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi
用于系统验证的定理证明和模型检查的轻量级集成
DOI：
--
发表时间：
2005
期刊：
Proc.of The 12th Asia-Pacific Software Engineering Conference (APSEC 2005)
影响因子：
--
作者：
Weiqiang Kong;Kazuhiro Ogata;Takahiro Seino;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi
OTS/CafeOBJ 方法中的证明分数
DOI：
--
发表时间：
2003
期刊：
Lecture Notes in Computer Science,(FMOODS 2003), 2884
影响因子：
--
作者：
Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi
DOI：
--
发表时间：
2006
期刊：
--
影响因子：
--
作者：
孔 維強
通讯作者：
孔 維強