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 条
  • [1] Formal Safety Assessment: A Critical Review
    Kontovas, Christos A.
    Psaraftis, Harilaos N.
    MARINE TECHNOLOGY AND SNAME NEWS, 2009, 46 (01): : 45 - 59
  • [2] Formal Safety Assessment: an updated review
    Psaraftis, Harilaos N.
    JOURNAL OF MARINE SCIENCE AND TECHNOLOGY, 2012, 17 (03) : 390 - 402
  • [3] Formal Safety Assessment: an updated review
    Harilaos N. Psaraftis
    Journal of Marine Science and Technology, 2012, 17 : 390 - 402
  • [4] FORMAL METHODS IN THE PRODUCTION AND ASSESSMENT OF SAFETY CRITICAL SOFTWARE
    BLOOMFIELD, RE
    FROOME, PKD
    MONAHAN, BQ
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 1991, 32 (1-2) : 51 - 66
  • [5] Formal specification as a tool for objective assessment of safety-critical interactive systems
    Palanque, P
    Bastide, R
    Paterno, F
    HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 323 - 330
  • [6] THE ROLE OF MATHEMATICALLY FORMAL METHODS IN THE DEVELOPMENT AND ASSESSMENT OF SAFETY-CRITICAL SYSTEMS
    FROOME, P
    MONAHAN, B
    MICROPROCESSORS AND MICROSYSTEMS, 1988, 12 (10) : 539 - 546
  • [7] Formal safety assessment of containerships
    Wang, J
    Foinikis, P
    MARINE POLICY, 2001, 25 (02) : 143 - 157
  • [8] A Critical Review of Current Safety Assessment Method of Chemical Safety in Toys
    Mak, S. L.
    Chiu, W. H.
    Lau, H. K.
    2018 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEE IEEM), 2018, : 118 - 121
  • [9] Safety assessment for safety-critical systems: a review and commentary of the available techniques
    Carpignano, A
    Morisio, M
    Rambaudi, E
    PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 2352 - 2357
  • [10] Formal safety assessment of cruise ships
    Lois, P
    Wang, J
    Wall, A
    Ruxton, T
    TOURISM MANAGEMENT, 2004, 25 (01) : 93 - 109
12345