Formal semantics model for automatic test of safety critical systems

被引：0
|
作者：
Lü, Jiang-Hua [1 ]
Ma, Shi-Long [1 ]
Li, Xian-Jun [1 ]
Gao, Shi-Wei [1 ]
机构：
[1] Lü, Jiang-Hua
[2] Ma, Shi-Long
[3] Li, Xian-Jun
[4] Gao, Shi-Wei
来源：
Lü, J.-H. (jhlv@nlsde.buaa.edu.cn) | 1600年 / Chinese Academy of Sciences卷 / 25期
关键词：
Calculations;
D O I：
10.13328/j.cnki.jos.004412
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：489 / 505
相关论文
共 50 条
  • [31] Formal Techniques for Safety-Critical Systems (FTSCS 2018) Preface
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2021, 208
  • [32] Formal Techniques for Safety-Critical Systems (FTSCS 2016) Preface
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2019, 175 : 35 - 36
  • [33] Formal Techniques for Safety-Critical Systems (FTSCS 2014) Preface
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2017, 133 : 89 - 90
  • [34] Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2024, 237
  • [35] Formal Techniques for Safety-Critical Systems (FTSCS 2015) Preface
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2018, 154 : 1 - 2
  • [36] A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems
    Navarre, David
    Palanque, Philippe
    Basnyat, Sandra
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 373 - 386
  • [37] HAZOP analysis of formal models of safety-critical interactive systems
    Hussey, A
    COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 371 - 381
  • [38] Towards a Formal Approach to Analysing Security of Safety-Critical Systems
    Vistbakka, Inna
    Troubitsyna, Elena
    2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 182 - 189
  • [39] Developing and assessing safety critical systems with formal methods: the SafeFM way
    Stavridou, Victoria
    Boothroyd, Andrew
    Boyce, Timothy
    Bradley, Peter
    Draper, Jonathan
    Dutertre, Bruno
    Smith, Robert
    High integrity systems, 1996, 1 (06): : 541 - 545
  • [40] FORMAL METHODS - USE AND RELEVANCE FOR THE DEVELOPMENT OF SAFETY-CRITICAL SYSTEMS
    BARROCA, LM
    MCDERMID, JA
    COMPUTER JOURNAL, 1992, 35 (06): : 579 - 599
12345