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 条
  • [41] How the establishment of community organizations can help improve newly resettled residential sites: A case study from the post-tsunami disaster in Japan
    Ochiai, Chiho
    Saito, Kei
    INTERNATIONAL JOURNAL OF DISASTER RISK REDUCTION, 2024, 115
  • [42] How 3D models (photogrammetry) of rock art can improve recording veracity: a case study from Kakadu National Park, Australia
    Jalandoni, Andrea
    May, Sally K.
    AUSTRALIAN ARCHAEOLOGY, 2020, 86 (02) : 137 - 146
  • [43] How public shared bike can assist first and last mile accessibility: A case study of the MRT system in Taipei City, Taiwan
    Yen, Barbara T. H.
    Mulley, Corinne
    Yeh, Chia -Jung
    JOURNAL OF TRANSPORT GEOGRAPHY, 2023, 108
  • [44] How Do Forecasters Utilize Output from a Convection-Permitting Ensemble Forecast System? Case Study of a High-Impact Precipitation Event
    Evans, Clark
    Van Dyke, Donald F.
    Lericos, Todd
    WEATHER AND FORECASTING, 2014, 29 (02) : 466 - 486
  • [45] How can we improve the physical stability of co-amorphous system containing flutamide and bicalutamide? The case of ternary amorphous solid dispersions (vol 136, 104947, 2019)
    Pacult, Justyna
    Rams-Baron, Marzena
    Chmiel, Krzysztof
    Jurkiewicz, Karolina
    Antosik, Agata
    Szafraniec, Joanna
    Kurek, Mateusz
    Jachowicz, Renata
    Paluch, Marian
    EUROPEAN JOURNAL OF PHARMACEUTICAL SCIENCES, 2021, 159
  • [46] How can we improve the physical stability of co-amorphous system containing flutamide and bicalutamide? The case of ternary amorphous solid dispersions (vol 136, 104947, 2019)
    Pacult, Justyna
    Rams-Baron, Marzena
    Chmiel, Krzysztof
    Jurkiewicz, Karolina
    Antosik, Agata
    Szafraniec, Joanna
    Kurek, Mateusz
    Jachowicz, Renata
    Paluch, Marian
    EUROPEAN JOURNAL OF PHARMACEUTICAL SCIENCES, 2021, 159
  • [47] Case study I: Application of the divalent cation bridging theory to improve biofloc properties and industrial activated sludge system performance - Direct addition of divalent cations
    Higgins, MJ
    Tom, LA
    Sobeck, DC
    WATER ENVIRONMENT RESEARCH, 2004, 76 (04) : 344 - 352
  • [48] How can the use of data within the immunisation programme be increased in order to improve data quality and ensure greater accountability in the health system? A protocol for implementation science study
    Tilahun, Binyam
    Teklu, Alemayehu
    Mancuso, Arielle
    Abebaw, Zeleke
    Dessie, Kassahun
    Zegeye, Desalegn
    HEALTH RESEARCH POLICY AND SYSTEMS, 2018, 16
  • [49] How can the use of data within the immunisation programme be increased in order to improve data quality and ensure greater accountability in the health system? A protocol for implementation science study
    Binyam Tilahun
    Alemayehu Teklu
    Arielle Mancuso
    Zeleke Abebaw
    Kassahun Dessie
    Desalegn Zegeye
    Health Research Policy and Systems, 16
  • [50] The Role of Re-Appropriation in Open Design: A Case Study on How Openness in Higher Education for Industrial Design Engineering Can Trigger Global Discussions on the Theme of Urban Gardening
    Ostuzzi, Francesca
    Conradie, Peter
    De Couvreur, Lieven
    Detand, Jan
    Saldien, Jelle
    INTERNATIONAL REVIEW OF RESEARCH IN OPEN AND DISTRIBUTED LEARNING, 2016, 17 (04): : 121 - 144
12345