From ODP viewpoint consistency to Integrated Formal Methods
From ODP viewpoint consistency to Integrated Formal Methods
复制标题
从ODP观点一致性到综合形式方法
DOI：
10.1016/j.csi.2011.10.015
复制
发表时间：
2013
影响因子：
5
通讯作者：
Boiten E
中科院分区：
文献类型：
--
作者：
Boiten E
登录
查看更多内容
用于并发系统规范的 Object-Z 和 CSP 的语义集成
DOI：
--
发表时间：
1997
期刊：
FME
影响因子：
--
作者：
Graeme Smith
通讯作者：
Graeme Smith
使用过程代数控制 B 操作
DOI：
--
发表时间：
1999
期刊：
International Conference on Integrated Formal Methods
影响因子：
--
作者：
H. Treharne;Steve A. Schneider
通讯作者：
Steve A. Schneider
更强大的 Z 数据细化：推动工业细化的最先进水平
DOI：
--
发表时间：
1998
期刊：
ZUM
影响因子：
--
作者：
S. Stepney;David Cooper;J. Woodcock
通讯作者：
J. Woodcock
比较 Lotos 和 Z Reenement 关系
DOI：
--
发表时间：
1996
期刊：
影响因子：
--
作者：
J. Derrick;H. Bowman;E. Boiten;M. Steen
通讯作者：
M. Steen
用于开放式分布式处理参考模型的 Z 工具包方法
DOI：
--
发表时间：
1999
期刊：
影响因子：
--
作者：
D.Randolph Johnson;H. Kilov
通讯作者：
H. Kilov