Research on formally modeling based event-B

被引：0

作者：

Wu, Jin ^{[1
]}

Chen, Zhi-Hui ^{[1
]}

机构：

[1] School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 610054, China

来源：

Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China | 2014年 / 43卷 / 03期

关键词：

D O I：

10.3969/j.issn.1001-0548.2014.03.015

中图分类号：

学科分类号：

摘要：

引用

页码：405 / 408

共 50 条

[41] The Composition of Event-B Models
Poppleton, Michael
ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 209 - 222
[42] From Event-B to Lambdapi
Grieu, Anne
RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 387 - 391
[43] Decomposition tool for Event-B
Silva, Renato
Pascal, Carine
Thai Son Hoang
Butler, Michael
SOFTWARE-PRACTICE & EXPERIENCE, 2011, 41 (02): : 199 - 208
[44] Decomposition Structures for Event-B
Butler, Michael
INTEGRATED FORMAL METHODS, PROCEEDINGS, 2009, 5423 : 20 - 38
[45] Refinement-based Validation of Event-B Specifications
Atif Mashkoor
Faqing Yang
Jean-Pierre Jacquot
Software & Systems Modeling, 2017, 16 : 789 - 808
[46] Refinement-based Validation of Event-B Specifications
Mashkoor, Atif
Yang, Faqing
Jacquot, Jean-Pierre
SOFTWARE AND SYSTEMS MODELING, 2017, 16 (03): : 789 - 808
[47] Loose Observation in Event-B
Hallerstede, Stefan
RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 105 - 122
[48] Code Generation for Event-B
Furst, Andreas
Hoang, Thai Son
Basin, David
Desai, Krishnaji
Sato, Naoto
Miyazaki, Kunihiko
INTEGRATED FORMAL METHODS, IFM 2014, 2014, 8739 : 323 - 338
[49] Code generation for Event-B
Víctor Rivera
Néstor Cataño
Tim Wahls
Camilo Rueda
International Journal on Software Tools for Technology Transfer, 2017, 19 : 31 - 52
[50] Refinement for Pipelining in Event-B
Evans, Neil
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 214 : 183 - 202