A Specification Translation from Behavioral Specifications to Rewrite Specifications
A Specification Translation from Behavioral Specifications to Rewrite Specifications
复制标题
从行为规范到重写规范的规范转换
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Kokichi Futatsugi
中科院分区：
文献类型：
--
作者：
Masaki Nakamura;Weiqiang Kong;Kazuhiro Ogata;Kokichi Futatsugi
登录
查看更多内容
DOI：
10.1016/s1571-0661(05)82536-8
发表时间：
2004
期刊：
IEEE Antennas and Propagation Society International Symposium. Transmitting Waves of Progress to the Next Millennium. 2000 Digest. Held in conjunction with: USNC/URSI National Radio Science Meeting (C
影响因子：
--
作者：
K. Ogata;K. Futatsugi
通讯作者：
K. Futatsugi
NetBill电子商务协议的形式化分析
DOI：
--
发表时间：
2004
期刊：
Lecture Notes in Computer Science (2nd ISSS), 3233
影响因子：
--
作者：
Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi
OTS/CafeOBJ 方法中的证明分数
DOI：
--
发表时间：
2003
期刊：
Lecture Notes in Computer Science,(FMOODS 2003), 2884
影响因子：
--
作者：
Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi
从 OTS/CafeOBJ 到 OTS/Maude 的完整规范转换
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
Masaki Nakamura;Weiqiang Kong;Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi
SET 形式化验证的方程方法
DOI：
--
发表时间：
2004
期刊：
Proceedings of the 4th International Conference on Quality Software (4th QSIC),(IEEE Computer Society Press)
影响因子：
--
作者：
Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi