Construction of Abstract State Graphs for Understanding Event-B Models
Construction of Abstract State Graphs for Understanding Event-B Models
复制标题
构建抽象状态图以理解事件 B 模型
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Fuyuki Ishikawa and Shinichi Honiden
中科院分区：
文献类型：
--
作者：
Daichi Morita;Fuyuki Ishikawa and Shinichi Honiden
登录
查看更多内容
在 Pro B 中可视化更大的状态空间
DOI：
10.1007/11415787_2
发表时间：
2005
期刊：
--
影响因子：
--
作者：
M. Leuschel;E. Turner
通讯作者：
E. Turner
DOI：
10.1007/978-3-319-25423-4_10
发表时间：
2015
期刊：
--
影响因子：
--
作者：
L. Ladenberger;M. Leuschel
通讯作者：
M. Leuschel
在事件 B 细化中使用线性时序逻辑的基础
影响因子：
1
作者：
Son Hoang;Steve A. Schneider;H. Treharne;David M. Williams
通讯作者：
David M. Williams
可视化在正式需求规格说明中的应用
DOI：
10.1109/icre.2002.1048507
发表时间：
2002
期刊：
Proceedings IEEE Joint International Conference on Requirements Engineering
影响因子：
--
作者：
Nicolas Dulac;Thomas Viguier;N. Leveson;M. Storey
通讯作者：
M. Storey
一举七动：LTL 模型检查 B、Z、CSP 等高级规格
DOI：
--
发表时间：
2010
期刊：
International Journal on Software Tools for Technology Transfer (STTT)
影响因子：
--
作者：
Daniel Plagge;M. Leuschel
通讯作者：
M. Leuschel