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 条
  • [41] Recent innovations in ITS camera sub-systems
    Moerck, T. (tum@jai.com), 2012, Intelligent Transportation Society of America
  • [42] Mixed-formulation representations of sub-systems
    Garvey, SD
    Eke, UH
    Penny, JE
    Friswell, MI
    IMAC - PROCEEDINGS OF THE 17TH INTERNATIONAL MODAL ANALYSIS CONFERENCE, VOLS I AND II, 1999, 3727 : 1538 - 1544
  • [43] Evaluation of HTS sub-systems for cellular basestations
    Jedamzik, D
    Menolascino, R
    Pizarroso, M
    Salas, B
    IEEE TRANSACTIONS ON APPLIED SUPERCONDUCTIVITY, 1999, 9 (02) : 4022 - 4025
  • [44] Communication between Different Sub-Systems of MRI
    Patil, Kishori
    Yavalkar, Sanket
    Ruikar, S. D.
    Harsh, Rajesh
    2017 INTERNATIONAL CONFERENCE ON COMMUNICATION AND SIGNAL PROCESSING (ICCSP), 2017, : 2148 - 2152
  • [45] The performance of the SPHERE sub-systems in the integration lab
    Wildi, Francois
    Beuzit, Jean-Luc
    Feldt, Markus
    Mouillet, David
    Dohlen, Kjetil
    Puget, Pascal
    Baruffolo, Andrea
    Charton, Julien
    Boccaletti, Anthony
    Claudi, Riccardo
    Costille, Anne
    Feautrier, Philippe
    Fusco, Thierry
    Gratton, Raffaele
    Kasper, Markus
    Langlois, Maud
    Martinez, Patrice
    Mesa, Dino
    Le Mignant, David
    Pavlov, Alexey
    Petit, Cyril
    Pragt, Johan
    Rabou, Patrick
    Rochat, Sylvain
    Roelfsema, Ronald
    Sauvage, Jean-Francois
    Schmid, Hans-Martin
    Stadler, Eric
    Moutou, Claire
    TECHNIQUES AND INSTRUMENTATION FOR DETECTION OF EXOPLANETS V, 2011, 8151
  • [46] Data Handling Equipment for Payload sub-systems
    Marchetti, Maurizio
    Marrocchi, Luca
    Spadoni, Massimo
    Costa, Francesco
    Vinti, Vanni
    Debei, Stefano
    Aboudan, Alessio
    Esposito, Francesca
    2014 IEEE INTERNATIONAL WORKSHOP ON METROLOGY FOR AEROSPACE (METROAEROSPACE), 2014, : 456 - 461
  • [47] Telemedicine: Its Sub-Systems & The Corresponding Actants
    Sood, Sanjay P.
    Prakash, Nupur
    Mbarika, Victor W. A.
    Bhatia, Jagjit S.
    COMPUTING, COMMUNICATION, AND CONTROL, 2011, 1 : 146 - 152
  • [48] Telemetry, telecommand and safety sub-systems for scientific ballooning from Hyderabad
    Anmireddy, V.
    Vasudevan, R.
    Anand, D.
    Rao, T. V.
    Kapardhi, B. V. N.
    Trivedi, D.
    Manchanda, R. K.
    ADVANCES IN SPACE RESEARCH, 2010, 46 (07) : 960 - 967
  • [49] Identifying Critical Sub-Systems in the Simulation of Cyber-Physical Systems
    Desmet, Antoine
    Gelenbe, Erol
    2012 SIXTH UKSIM/AMSS EUROPEAN SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS), 2012, : 395 - 400
  • [50] MODELING AND ANALYSIS OF PROBABILISTIC REAL-TIME SYSTEMS THROUGH INTEGRATING EVENT-B AND PROBABILISTIC MODEL CHECKING
    Debbi, Hichem
    COMPUTER SCIENCE-AGH, 2022, 23 (04): : 545 - 570
12345