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 条
  • [41] SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS
    BOWEN, J
    STAVRIDOU, V
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 189 - 209
  • [42] THE TRAINING OF FORMAL OPERATIONS - A CRITICAL-REVIEW
    LARIVEE, S
    LONGEOT, F
    NORMANDEAU, S
    ANNEE PSYCHOLOGIQUE, 1989, 89 (04): : 553 - 584
  • [43] The Application of Formal Safety Assessment (FSA) in Oil Port Safety Management
    Chao, Gao
    PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INNOVATION AND MANAGEMENT, VOLS I AND II, 2014, : 890 - 894
  • [44] Increasing The Safety of Traditional Shipping Using Formal Safety Assessment Approach
    Sunaryo
    Lubis, Abdurrasyid
    Ramadhan, Muhammad Bagja
    RECENT PROGRESS ON: MECHANICAL, INFRASTRUCTURE AND INDUSTRIAL ENGINEERING, 2020, 2227
  • [45] Influence of Safety in Performance Assessment of Two-Lane Highways: A Critical Review
    Saha, Pritam
    Roy, Nabanita
    Basu, Sujata
    LOGI 2019 - HORIZONS OF AUTONOMOUS MOBILITY IN EUROPE, 2020, 44 : 35 - 39
  • [46] Critical review of the safety assessment of nano-structured silica additives in food
    Winkler, Hans Christian
    Suter, Mark
    Naegeli, Hanspeter
    JOURNAL OF NANOBIOTECHNOLOGY, 2016, 14
  • [47] Critical review of the safety assessment of nano-structured silica additives in food
    Hans Christian Winkler
    Mark Suter
    Hanspeter Naegeli
    Journal of Nanobiotechnology, 14
  • [48] Tigecycline: a critical safety review
    Kaewpoowat, Quanhathai
    Ostrosky-Zeichner, Luis
    EXPERT OPINION ON DRUG SAFETY, 2015, 14 (02) : 335 - 342
  • [49] An Executable Formal Framework for Safety-Critical Human Multitasking
    Broccia, Giovanna
    Milazzo, Paolo
    Olveczky, Peter Csaba
    NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 54 - 69
  • [50] PROMELA based formal verification for safety-critical software
    Xing, Liang
    Ding, Chengjun
    Du, Hupeng
    Ma, Chunyan
    Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University, 2022, 40 (05): : 1180 - 1187
12345