Modeling and verification of real-time systems based on equations
Modeling and verification of real-time systems based on equations
复制标题
基于方程的实时系统建模和验证
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Kokichi Futatsugi
中科院分区：
文献类型：
--
作者：
Kazuhiro Ogata;Kokichi Futatsugi
登录
查看更多内容
影响因子：
0.6
作者：
Y. Kesten;Z. Manna;A. Pnueli
通讯作者：
Y. Kesten;Z. Manna;A. Pnueli
基于MCS列表的排队锁的形式化验证
DOI：
10.1007/3-540-46674-6_24
发表时间：
1999
期刊：
--
影响因子：
--
作者：
K. Ogata;K. Futatsugi
通讯作者：
K. Futatsugi
正式建模和验证 Ricart
DOI：
10.1109/apaqs.2001.990041
发表时间：
2001
期刊：
Proceedings Second Asia-Pacific Conference on Quality Software
影响因子：
--
作者：
K. Ogata;K. Futatsugi
通讯作者：
K. Futatsugi
隐藏的议程
影响因子：
--
作者：
Kimball L. Howes
通讯作者：
Kimball L. Howes
基于网络的协作软件工程支持
DOI：
--
发表时间：
2001
期刊：
Annals of Software Engineering
影响因子：
--
作者：
J. Goguen;Kai Lin
通讯作者：
Kai Lin