SUGITA,SHIGEHARU: International Symposium:Computer World '88. 67-74 (1988)
SUGITA,SHIGEHARU: International Symposium:Computer World '88. 67-74 (1988)
复制标题
杉田重治：国际研讨会：计算机世界 88。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
使用过程代数控制 B 操作
DOI：
--
发表时间：
1999
期刊：
International Conference on Integrated Formal Methods
影响因子：
--
作者：
H. Treharne;Steve A. Schneider
通讯作者：
Steve A. Schneider
B：使用广义替换的基于模型的方法
DOI：
10.1007/978-1-4471-0701-9_3
发表时间：
2001
期刊：
Tech. Sci. Informatiques
影响因子：
--
作者：
H. Diab;M. Frappier
通讯作者：
M. Frappier
使用 B 方法细化嵌入式软件
DOI：
10.14236/ewic/fa1996.6
发表时间：
1996
期刊：
Tech. Sci. Informatiques
影响因子：
--
作者：
J. Draper;H. Treharne
通讯作者：
H. Treharne
影响因子：
0.8
作者：
S. Dunne
通讯作者：
S. Dunne
使用B抽象系统逐步开发Peterson互斥算法
DOI：
10.1007/11415787_8
发表时间：
2005
期刊：
Tech. Sci. Informatiques
影响因子：
--
作者：
J. Attiogbé
通讯作者：
J. Attiogbé