DIR 41 Case Study How Event-B Can Improve an Industrial System Specification

被引：0
|
作者：
Metayer, Christophe
Clabaut, Mathieu
机构：
来源：
ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS | 2008年 / 5238卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：357 / 357
页数：1
相关论文
共 50 条
  • [1] Event-B Specification of Transportation System in Dynamic Environment: Study of Urban Public Transportation System
    Garoui, Mohamed
    Mazigh, Belhassen
    El Ayeb, Bechir
    Koukam, Abderrafiaa
    2014 WORLD SYMPOSIUM ON COMPUTER APPLICATIONS & RESEARCH (WSCAR), 2014,
  • [2] Event-B specification of a situated Multi-Agent System: Study of a platoon of vehicles
    Lanoix, Arnaud
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 297 - 304
  • [3] Scaling Up with Event-B: A Case Study
    Yang, Faqing
    Jacquot, Jean-Pierre
    NASA FORMAL METHODS, 2011, 6617 : 438 - 452
  • [4] A Case Study on Code Generation of an ERP System from Event-B
    Catano, Nestor
    Wahls, Tim
    2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY (QRS 2015), 2015, : 183 - 188
  • [5] Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system
    Wen Su
    Jean-Raymond Abrial
    International Journal on Software Tools for Technology Transfer, 2017, 19 : 141 - 166
  • [6] Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system
    Su, Wen
    Abrial, Jean-Raymond
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (02) : 141 - 166
  • [7] The ABZ-2018 case study with Event-B
    Abrial, Jean-Raymond
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (03) : 257 - 264
  • [8] The ABZ-2018 case study with Event-B
    Jean-Raymond Abrial
    International Journal on Software Tools for Technology Transfer, 2020, 22 : 257 - 264
  • [9] A new Operators-Based Approach for the Event-B Refinement: QNoC Case Study
    Hariche, Abdelhamid
    Belarbi, Mostefa
    Daoud, Hayat
    2013 25TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS (ICM), 2013,
  • [10] Bounded Retransmission in Event-B vertical bar vertical bar CSP: a Case Study
    Schneider, Steve
    Treharne, Helen
    Wehrheim, Heike
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 280 : 69 - 80
12345