Padding out the safety arguments

被引：0
|
作者：
Greek, D
机构：
来源：
PROFESSIONAL ENGINEERING | 1998年 / 11卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TH [机械、仪表工业];
学科分类号：
0802 ;
摘要：
引用
收藏
页码：37 / 37
页数：1
相关论文
共 50 条
  • [1] Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks
    Siveroni, Igor
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 153 (02) : 241 - 257
  • [2] Independent safety assessment of safety arguments
    Froome, P
    Constituents of Modern System-safety Thinking, 2005, : 37 - 47
  • [3] Validating Safety Arguments with Lean
    Murphy, Logan
    Viger, Torin
    Di Sandro, Alessio
    Shahin, Ramy
    Chechik, Marsha
    SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), 2021, 13085 : 23 - 43
  • [4] Radiation protection - Sorting out the arguments
    Hansson S.O.
    Philosophy & Technology, 2011, 24 (3) : 363 - 368
  • [5] Putting trust into safety arguments
    Fenn, J
    Jepson, B
    Constituents of Modern System-safety Thinking, 2005, : 21 - 35
  • [6] Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments
    Scott, Roger
    Ranieri, Joseph
    Kot, Lucja
    Kashyap, Vineeth
    2020 20TH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM 2020), 2020, : 227 - 237
  • [7] SUPPORT FOR SAFETY CASES AND SAFETY ARGUMENTS USING SAM
    MCDERMID, JA
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 1994, 43 (02) : 111 - 127
  • [8] Combining GSN and STPA for Safety Arguments
    Hirata, Celso
    Nadjm-Tehrani, Simin
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, 2019, 11699 : 5 - 15
  • [9] Confidence Assessment Framework for Safety Arguments
    Wang, Rui
    Guiochet, Jeremie
    Motet, Gilles
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2017, 2017, 10488 : 55 - 68
  • [10] Living Safety Arguments for Open Systems
    Carlan, Carmen
    2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 120 - 123
12345