Formal safety assessment: A critical review

被引：0
|
作者：
Laboratory for Maritime Transport, School of Naval Architecture and Marine Engineering, National Technical University of Athens, Zografou, Greece [1 ]
机构：
来源：
Mar Technol | 2009年 / 1卷 / 45-59期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Formal Verification of Safety-Critical Aerospace Systems
    Paul, Saswata
    Cruz, Elkin
    Dutta, Airin
    Bhaumik, Ankita
    Blasch, Erik
    Agha, Gul
    Patterson, Stacy
    Kopsaftopoulos, Fotis
    Varela, Carlos
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2023, 38 (05) : 72 - 88
  • [32] Application of formal safety assessment in planning VTS
    Tang Xuhong1 Fan Yaotian2 Cai Cunqiang1(1 Marine Merchant College
    Journal of Southeast University(English Edition), 2008, (S1) : 99 - 103
  • [33] Application of formal safety assessment in planning VTS
    Tang Xuhong Fan Yaotian Cai Cunqiang Marine Merchant College Shanghai Maritime University Shanghai China Navigation School Wuhan University of Technology Wuhan China
    Journal of Southeast University(English Edition), 2008, (English Edition) : 99 - 103
  • [34] THE PRACTICE OF FORMAL METHODS IN SAFETY-CRITICAL SYSTEMS
    LIU, SY
    STAVRIDOU, V
    DUTERTRE, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 28 (01) : 77 - 87
  • [35] Formal Techniques for Safety-Critical Systems Preface
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 83 - 84
  • [36] Formal development method for safety-critical system
    Wang, Hai-Feng
    Chen, Jian-Ming
    Zheng, Zhong-Yi
    Beifang Jiaotong Daxue Xuebao/Journal of Northern Jiaotong University, 2002, 26 (06):
  • [37] Qualification of formal safety assessment: an exploratory study
    Rosqvist, T
    Tuominen, R
    SAFETY SCIENCE, 2004, 42 (02) : 99 - 120
  • [38] Integrated formal verification of safety-critical software
    Ge, Ning
    Jenn, Eric
    Breton, Nicolas
    Fonteneau, Yoann
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 423 - 440
  • [39] Integrated formal verification of safety-critical software
    Ning Ge
    Eric Jenn
    Nicolas Breton
    Yoann Fonteneau
    International Journal on Software Tools for Technology Transfer, 2018, 20 : 423 - 440
  • [40] A Survey of Formal Specification Application to Safety Critical Systems
    Nanda, Smruti Priyambada
    Grant, Emanuel S.
    2019 IEEE 2ND INTERNATIONAL CONFERENCE ON INFORMATION AND COMPUTER TECHNOLOGIES (ICICT), 2019, : 296 - 302
12345