SAFETY-CRITICAL SYSTEMS - INTRODUCTION

被引：0
|
作者：
BENNETT, P
机构：
来源：
COMPUTING & CONTROL ENGINEERING JOURNAL | 1994年 / 5卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：5 / 5
页数：1
相关论文
共 50 条
  • [21] Special issue on safety-critical systems
    Kramer, BJ
    REAL-TIME SYSTEMS, 1997, 13 (03) : 217 - 218
  • [22] Reliability demonstration for safety-critical systems
    Tal, O
    McCollin, C
    Bendell, T
    IEEE TRANSACTIONS ON RELIABILITY, 2001, 50 (02) : 194 - 203
  • [23] On safety-critical computer control systems
    Halang, WA
    Colnaric, M
    TENTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1997, : 210 - 214
  • [24] Developing safety-critical systems with UML
    Jürjens, J
    UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 360 - 372
  • [25] SAFETY-CRITICAL SYSTEMS - LEGAL LIABILITY
    DAVIS, D
    COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 13 - 17
  • [26] Methodology for assessing safety-critical systems
    HRL Laboratories, LLC, 3011 Malibu Canyon Road, Malibu, CA 90265-4797, United States
    不详
    Int J Modell Simul, 2007, 2 (99-106):
  • [27] A distance model for safety-critical systems
    Szijártó, Miklós
    Gröger, Dietmár
    Kallós, Gábor
    Periodica Polytechnica Electrical Engineering, 2001, 45 (02): : 109 - 118
  • [28] Safety-Critical Control for Ensemble Systems
    Guo, Yang
    Petzke, Felix
    Rumschinski, Philipp
    Streif, Stefan
    IFAC PAPERSONLINE, 2023, 56 (02): : 3152 - 3157
  • [29] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS
    MCARTHUR, N
    CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
  • [30] SPECIAL ISSUE - SAFETY-CRITICAL SYSTEMS
    CULLYER, J
    MICROPROCESSORS AND MICROSYSTEMS, 1993, 17 (01) : 2 - 2
12345