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期
关键词：
7;
D O I：
10.3969/j.issn.1001-0548.2014.03.015
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：405 / 408
相关论文
共 50 条
  • [1] Research on Event-B based formal modeling and verification of automatic production line
    Fu, Kaiming
    Fang, Bin
    Li, Yafen
    Li, Huijie
    PROCEEDINGS OF THE 28TH CHINESE CONTROL AND DECISION CONFERENCE (2016 CCDC), 2016, : 3690 - 3695
  • [2] Modeling and Reasoning Event-B Models Based on Mathematica
    Pan, Guoteng
    Li, Mengjun
    Ou, Guodong
    11TH ASIA-PACIFIC SYMPOSIUM ON INTERNETWARE (INTERNETWARE 2019), 2019,
  • [3] Modeling of TCP Protocol in Event-B
    Wang, Xue-Jing
    Zhang, Hong
    INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY, PTS 1-4, 2013, 263-266 : 1156 - 1159
  • [4] Event-B Formalization of Event-B Contexts
    Bodeveix, Jean-Paul
    Filali, Mamoun
    RIGOROUS STATE-BASED METHODS, ABZ 2021, 2021, 12709 : 66 - 80
  • [5] Requirement Analysis for Event-B modeling
    Batjargal, Bilguun
    Lee, Keug Hae
    2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND APPLICATIONS (ICISA 2013), 2013,
  • [6] Research on Event-B based modelling and verification of PLC system
    Zhao, He
    Fang, Bin
    Li, Hui-jie
    Wang, Pu
    PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON INFORMATION SCIENCES, MACHINERY, MATERIALS AND ENERGY (ICISMME 2015), 2015, 126 : 1341 - 1347
  • [7] Formal Event-B Modeling of the MICONIC Application
    Ammar, Sabrine
    Bhiri, Mohamed Tahar
    NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2021, 337 : 197 - 210
  • [8] Modeling a landing gear system in Event-B
    Amel Mammar
    Régine Laleau
    International Journal on Software Tools for Technology Transfer, 2017, 19 : 167 - 186
  • [9] Modeling a landing gear system in Event-B
    Mammar, Amel
    Laleau, Regine
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (02) : 167 - 186
  • [10] Design, Modeling and Verification of Security Protocols Based on Event-B Method
    Li M.-J.
    Pan G.-T.
    Ou G.-D.
    Ruan Jian Xue Bao/Journal of Software, 2018, 29 (11): : 3400 - 3411
12345