Event-B: From Systems to Sub-systems Modeling

被引：0
|
作者：
Kraibi, Kenza [1 ]
机构：
[1] Inst Rech Technol Railenium, F-59300 Famars, France
来源：
RIGOROUS STATE-BASED METHODS, ABZ 2020 | 2020年 / 12071卷
关键词：
DECOMPOSITION;
D O I：
10.1007/978-3-030-48077-6_35
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：418 / 422
页数：5
相关论文
共 50 条
  • [31] Deduction of intracellular sub-systems from a topological description of the network
    Nordling, Torbjorn E. M.
    Hiroi, Noriko
    Funahashi, Akira
    Kitano, Hiroaki
    MOLECULAR BIOSYSTEMS, 2007, 3 (08) : 523 - 529
  • [32] 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
  • [33] Research on formally modeling based event-B
    Wu, Jin
    Chen, Zhi-Hui
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2014, 43 (03): : 405 - 408
  • [34] An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
    Dupont, Guillaume
    Ait-Ameur, Yamine
    Pantel, Marc
    Singh, Neeraj K.
    INTEGRATED FORMAL METHODS, IFM 2020, 2020, 12546 : 82 - 102
  • [35] Trustworthy smart city systems using refinement and Event-B Theories
    Alkhammash, Eman H.
    MULTIMEDIA TOOLS AND APPLICATIONS, 2022, 81 (01) : 615 - 636
  • [36] Identifying the Two Sub-Systems of Macroeconomic Fluctuations
    Yan, Gu
    Lu, Guo
    Proceedings of the 27th Chinese Control Conference, Vol 6, 2008, : 763 - 767
  • [37] 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
  • [38] 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
  • [39] THE USE OF KNOWLEDGE MANAGEMENT SYSTEMS AND EVENT-B MODELLING IN A LEAN ENTERPRISE
    Burita, Ladislav
    Hrusecka, Denisa
    Pivnicka, Michal
    Rosman, Pavel
    JOURNAL OF COMPETITIVENESS, 2018, 10 (01) : 40 - 53
  • [40] Trustworthy smart city systems using refinement and Event-B Theories
    Eman H. Alkhammash
    Multimedia Tools and Applications, 2022, 81 : 615 - 636
12345