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 条
  • [31] Hepatitis B vaccination and first central nervous system demyelinating event:: A case-control study
    Touzé, E
    Fourrier, A
    Rue-Fenouche, C
    Rondé-Oustau, V
    Jeantaud, I
    Bégaud, B
    Alpérovitch, A
    NEUROEPIDEMIOLOGY, 2002, 21 (04) : 180 - 186
  • [32] How Well Can a Climate Model Simulate an Extreme Precipitation Event: A Case Study Using the Transpose-AMIP Experiment
    Li, Jian
    Chen, Haoming
    Rong, Xinyao
    Su, Jingzhi
    Xin, Yufei
    Furtado, Kalli
    Milton, Sean
    Li, Nina
    JOURNAL OF CLIMATE, 2018, 31 (16) : 6543 - 6556
  • [33] How Can Community-Based Organizations Improve Flood Risk Communication? A Case Study of China Based on Grounded Theory
    Li, Qiang
    Lin, Yi
    SYSTEMS, 2023, 11 (02):
  • [34] HOW CAN WE IMPROVE THE DESIGN OF PATIENT PREFERENCE RESEARCH IN ONCOLOGY? A CASE STUDY IN METASTATIC CASTRATE RESISTANT PROSTATE CANCER
    Dearden, L.
    Eliasson, L.
    de Freitas, H.
    Shalet, N.
    Lloyd, A.
    VALUE IN HEALTH, 2015, 18 (07) : A472 - A473
  • [35] How can Email Interventions Increase Students' Completion of Online Homework? A Case Study Using A/B Comparisons
    Bernuy, Angela Zavaleta
    Han, Ziwen
    Shaikh, Hammad
    Zheng, Qi Yin
    Lim, Lisa-Angelique
    Rafferty, Anna
    Petersen, Andrew
    Williams, Joseph Jay
    LAK22 CONFERENCE PROCEEDINGS: THE TWELFTH INTERNATIONAL CONFERENCE ON LEARNING ANALYTICS & KNOWLEDGE, 2022, : 107 - 118
  • [36] The insanity defense in the twenty-first century: How recent United States supreme court case law can improve the system
    Grachek, JE
    INDIANA LAW JOURNAL, 2006, 81 (04) : 1479 - 1501
  • [37] How AI-Type Uncertainty Ideas Can Improve Inter-Disciplinary Collaboration and Education: Lessons from a Case Study
    Pinheiro da Silva, Paulo
    Velasco, Aaron
    Kosheleva, Olga
    Kreinovich, Vladik
    JOURNAL OF ADVANCED COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, 2010, 14 (06) : 700 - 707
  • [38] How can we improve the physical stability of co-amorphous system containing flutamide and bicalutamide? The case of ternary amorphous solid dispersions
    Pacult, Justyna
    Rams-Baron, Marzena
    Chmiel, Krzysztof
    Jurkiewicz, Karolina
    Antosik, Agata
    Szafraniec, Joanna
    Kurek, Mateusz
    Jachowicz, Renata
    Paluch, Marian
    EUROPEAN JOURNAL OF PHARMACEUTICAL SCIENCES, 2019, 136
  • [39] How Much Undocumented Knowledge is there in Agile Software Development? Case Study on Industrial Project using Issue Tracking System and Version Control System
    Saito, Shinobu
    Iimura, Yukako
    Massey, Aaron K.
    Anton, Annie I.
    2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2017, : 194 - 203
  • [40] Building Correct Hybrid Systems using EVENT- B and SAGEMATH: Illustration by the Hybrid Smart Heating System Case Study
    Afendi, Meryem
    Mammar, Amel
    Laleau, Regine
    2022 26TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2022), 2022, : 91 - 96
12345