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 条
  • [21] Modeling Physical/Digital Systems: Formal Event-B vs. Diagrammatic Thinging Machine
    Al-Fedaghi, Sabah
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2020, 20 (04): : 208 - 220
  • [22] Designing Critical Systems Using Hierarchical STPA and Event-B
    Fathabadi, Asieh Salehi
    Snook, Colin
    Dghaym, Dana
    Hoang, Thai Son
    Alotaibi, Fahad
    Butler, Michael
    RIGOROUS STATE-BASED METHODS, ABZ 2023, 2023, 14010 : 220 - 237
  • [23] Event-B Formalization of Event-B Contexts
    Bodeveix, Jean-Paul
    Filali, Mamoun
    RIGOROUS STATE-BASED METHODS, ABZ 2021, 2021, 12709 : 66 - 80
  • [24] Symbolic sub-systems and symbolic control of linear systems
    Tabuada, Paulo
    2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 18 - 23
  • [25] SEMANTIC MODELING OF BIOLOGICAL SUB-SYSTEMS BY A MULTILEVEL CONTROL STRUCTURE CONCEPT
    HUET, B
    KYBERNETES, 1985, 14 (02) : 93 - 99
  • [26] Requirement Analysis for Event-B modeling
    Batjargal, Bilguun
    Lee, Keug Hae
    2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND APPLICATIONS (ICISA 2013), 2013,
  • [27] Developing Railway Interlocking Systems with Session Types and Event-B
    Kiss, Tibor
    Janosi-Rancz, Katalin Tunde
    2016 IEEE 11TH INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTATIONAL INTELLIGENCE AND INFORMATICS (SACI), 2016, : 93 - 98
  • [28] Behavioral Analysis of Service Oriented Systems Using Event-B
    Chaudhuri, Anasuya
    Banerjee, Shreya
    Sarkar, Anirban
    COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT, CISIM 2018, 2018, 11127 : 117 - 129
  • [29] THE FICTITIOUS NATURE OF SOCIETAL SUB-SYSTEMS
    SCHIMANK, U
    KOLNER ZEITSCHRIFT FUR SOZIOLOGIE UND SOZIALPSYCHOLOGIE, 1988, 40 (04): : 619 - 639
  • [30] From Event-B to Lambdapi
    Grieu, Anne
    RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 387 - 391
12345