SYMBOLIC RELIABILITY EVALUATION USING LOGICAL SIGNAL RELATIONS

被引：17
|
作者：
AGGARWAL, KK
RAI, S
机构：
来源：
IEEE TRANSACTIONS ON RELIABILITY | 1978年 / 27卷 / 03期
关键词：
D O I：
10.1109/TR.1978.5220323
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：202 / 205
页数：4
相关论文
共 50 条
  • [21] Logical Step-Indexed Logical Relations
    Dreyer, Derek
    Ahmed, Amal
    Birkedal, Lars
    24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 71 - 80
  • [22] Circuit Reliability Analysis Using Signal Reliability Correlations
    Cai, Jinchen
    Chen, Chunhong
    2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2017, : 171 - 176
  • [23] Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller
    Kunifuji, Takashi
    Saiki, Yoshinori
    Masutani, Satoru
    Matsumoto, Masayuki
    FORMS/FORMAT 2010: FORMAL METHODS FOR AUTOMATION AND SAFETY IN RAILWAY AND AUTOMOTIVE SYSTEMS, 2011, : 117 - 124
  • [24] AUTOMATIC LOGICAL NAVIGATION AMONG RELATIONS USING STEINER TREES
    LIN, DK
    PROCEEDINGS : FIFTH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, 1989, : 582 - 588
  • [25] Signal probability for reliability evaluation of logic circuits
    Franco, Denis Teixeira
    Vasconcelos, Mai Correia
    Naviner, Lirida
    Naviner, Jean-Francois
    MICROELECTRONICS RELIABILITY, 2008, 48 (8-9) : 1586 - 1591
  • [26] Classifying Argumentative Relations Using Logical Mechanisms and Argumentation Schemes
    Jo, Yohan
    Bang, Seojin
    Reed, Chris
    Hovy, Eduard
    TRANSACTIONS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, 2021, 9 : 721 - 739
  • [27] ANALYSIS OF THE SIGNAL RELIABILITY MEASURE AND AN EVALUATION PROCEDURE
    KOREN, I
    IEEE TRANSACTIONS ON COMPUTERS, 1979, 28 (03) : 244 - 249
  • [28] Truth-value relations and logical relations
    Humberstone, Lloyd
    THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2023, 89 (01): : 124 - 147
  • [29] Logical and symbolic analysis of robust biological dynamics
    Glass, Leon
    Siegelmann, Hava T.
    CURRENT OPINION IN GENETICS & DEVELOPMENT, 2010, 20 (06) : 644 - 649
  • [30] Symbolic Fixpoint Algorithms for Logical LTL Games
    Samuel, Stanly
    D'Souza, Deepak
    Komondoor, Raghavan
    2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 698 - 709
12345