Modeling and Verification of Hybrid Systems Based on Equations
Modeling and Verification of Hybrid Systems Based on Equations
复制标题
基于方程的混合系统建模与验证
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Kokichi Futatsugi
中科院分区：
文献类型：
--
作者：
Kazuhiro Ogara;Daigo Yamagishi;Takahiro Seino;Kokichi Futatsugi
登录
查看更多内容
OTS/CafeOBJ 方法中的证明分数
DOI：
--
发表时间：
2003
期刊：
Lecture Notes in Computer Science,(FMOODS 2003), 2884
影响因子：
--
作者：
Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi
计算领域的 AMAST 系列
DOI：
10.1142/amast
发表时间：
1993
期刊：
J. Univers. Comput. Sci.
影响因子：
--
作者：
T. Rus;A. Arnold
通讯作者：
A. Arnold
影响因子：
0.6
作者：
Y. Kesten;Z. Manna;A. Pnueli
通讯作者：
Y. Kesten;Z. Manna;A. Pnueli
iKP 电子支付协议的正式分析
DOI：
10.1007/3-540-36532-x_25
发表时间：
2002
期刊：
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
影响因子：
--
作者：
K. Ogata;K. Futatsugi
通讯作者：
K. Futatsugi
Horn-Preneel 小额支付协议的形式验证
DOI：
10.1007/3-540-36384-x_20
发表时间：
2002
期刊：
--
影响因子：
--
作者：
K. Ogata;K. Futatsugi
通讯作者：
K. Futatsugi