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 条
  • [31] TEST ROUTINES BASED ON SYMBOLIC LOGICAL STATEMENTS
    ELDRED, RD
    JOURNAL OF THE ACM, 1959, 6 (01) : 33 - 36
  • [32] CULTURAL INFLUENCES ON RETENTION OF LOGICAL AND SYMBOLIC MATERIAL
    HARARI, H
    MCDAVID, JW
    JOURNAL OF EDUCATIONAL PSYCHOLOGY, 1966, 57 (01) : 18 - &
  • [33] Symbolic signal processing
    Johnson, DH
    Wang, U
    ICASSP '99: 1999 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PROCEEDINGS VOLS I-VI, 1999, : 1361 - 1364
  • [34] Symbolic signal processing
    Johnson, Don H.
    Wang, Wei
    ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings, 1999, 3 : 1361 - 1364
  • [35] SOME NONFORMAL LOGICAL RELATIONS
    CASTANEDA, HN
    PHILOSOPHICAL STUDIES, 1957, 8 (06) : 89 - 92
  • [36] Logical relations in discourse.
    Rolfe, L
    WORD-JOURNAL OF THE INTERNATIONAL LINGUISTIC ASSOCIATION, 2002, 53 (01): : 117 - 118
  • [37] KRIPKE LOGICAL RELATIONS AND PCF
    OHEARN, PW
    RIECKE, JG
    INFORMATION AND COMPUTATION, 1995, 120 (01) : 107 - 116
  • [38] On Computational Indistinguishability and Logical Relations
    Dal Lago, Ugo
    Galal, Zeinab
    Giusti, Giulia
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, 2025, 15194 : 241 - 263
  • [39] Session Logical Relations for Noninterference
    Derakhshan, Farzaneh
    Balzer, Stephanie
    Jia, Limin
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [40] LOGICAL RELATIONS BETWEEN THEORIES
    SMIRNOV, VA
    SYNTHESE, 1986, 66 (01) : 71 - 87
12345