Analysis on Strategies of Superposition Refinement of Event-B Specifications
Analysis on Strategies of Superposition Refinement of Event-B Specifications
复制标题
B事件规范叠加细化策略分析
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Fuyuki Ishikawa
中科院分区：
文献类型：
--
作者：
Tsutomu Kobayashi;Fuyuki Ishikawa
登录
查看更多内容
DOI：
10.1007/978-3-319-24255-2_4
发表时间：
2015
期刊：
--
影响因子：
--
作者：
A. Tarasyuk;Inna Pereverzeva;E. Troubitsyna;T. Latvala
通讯作者：
T. Latvala
BART：自动优化工具
DOI：
10.1007/978-3-540-87603-8_33
发表时间：
2008
期刊：
--
影响因子：
--
作者：
Antoine Requet
通讯作者：
Antoine Requet
B 事件中巡航控制系统形式化建模指南的评估
DOI：
--
发表时间：
2010
期刊：
NASA Formal Methods
影响因子：
--
作者：
R. Rosenthal;K. Fode
通讯作者：
K. Fode
重构 Event-B 机器的细化结构
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
Tsutomu Kobayashi;Fuyuki Ishikawa;and Shinichi Honiden
通讯作者：
and Shinichi Honiden
UML-B 中类和状态机细化的语言和工具支持
DOI：
--
发表时间：
2009
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
M. Said;M. Butler;C. Snook
通讯作者：
C. Snook