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 条
  • [21] Formal Safety Assessment and its application to maritime
    Tan, ZR
    Wang, WL
    Huang, M
    Yan, XP
    PROGRESS IN SAFETY SCIENCE AND TECHNOLOGY, VOL 4, PTS A AND B, 2004, 4 : 2252 - 2257
  • [22] Formal Verification and Safety Assessment of a Hemodialysis Machine
    Khan, Shahid
    Hasan, Osman
    Mashkoor, Atif
    SOFSEM 2018: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2018, 10706 : 241 - 254
  • [23] Formal verification of safety-critical hybrid systems
    Livadas, C
    Lynch, NA
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 253 - 272
  • [24] Formal Modeling and Verification of Safety-Critical Software
    Yoo, Junbeom
    Jee, Eunkyoung
    Cha, Sungdeok
    IEEE SOFTWARE, 2009, 26 (03) : 42 - 49
  • [25] Application of Formal Safety Assessment on Planning VTS
    Fan Yao-Tian
    Wang Jie
    2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), VOLS 1-6, 2008, : 2206 - +
  • [26] Current work at IMO on formal safety assessment
    Sekimizu, K
    MARINE RISK ASSESSMENT: A BETTER WAY TO MANAGE YOUR BUSINESS, CONFERENCE PROCEEDINGS, PT I, 1997, 109 (03): : 9 - 20
  • [27] Scenario Analysis for the Safety Assessment of Nuclear Waste Repositories: A Critical Review
    Tosoni, Edoardo
    Salo, Ahti
    Zio, Enrico
    RISK ANALYSIS, 2018, 38 (04) : 755 - 776
  • [28] DESIGNING A SAFETY CRITICAL SYSTEM: FORMAL TECHNIQUES.
    Wise, Jonathan
    New Electronics, 1988, 21 (02): : 65 - 66
  • [29] Improving formal safety assessment in shipping transportation
    Mennis, E
    Lagoudis, IN
    Nikitakos, N
    Platis, A
    MARITIME TRANSPORTATION AND EXPLOITATION OF OCEAN AND COASTAL RESOURCES, VOLS 1 AND 2: VOL 1: VESSELS FOR MARITIME TRANSPORTATION, 2005, : 1565 - 1571
  • [30] Research progress and future of formal safety assessment
    Zhang S.
    Liu Z.
    Cai Y.
    Shi G.
    Liang W.
    Harbin Gongcheng Daxue Xuebao/Journal of Harbin Engineering University, 2021, 42 (01): : 152 - 158
12345