NEW ALGORITHM FOR SYMBOLIC RELIABILITY ANALYSIS

被引：0
|
作者：
SATYANARAYANA, A [1 ]
SIVARAMAKRISHNAN, H [1 ]
机构：
[1] INDIAN TEL IND LTD,DEPT RES,BANGALORE 560016,INDIA
来源：
IEEE TRANSACTIONS ON RELIABILITY | 1977年 / 26卷 / 01期
关键词：
D O I：
10.1109/TR.1977.5215070
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：38 / &
相关论文
共 50 条
  • [1] NEW ALGORITHM FOR SYMBOLIC SYSTEM RELIABILITY ANALYSIS
    LIN, PM
    LEON, BJ
    HUANG, TC
    IEEE TRANSACTIONS ON RELIABILITY, 1976, 25 (01) : 2 - 15
  • [2] AN IMPROVED ALGORITHM FOR SYMBOLIC RELIABILITY-ANALYSIS
    VEERARAGHAVAN, M
    TRIVEDI, KS
    IEEE TRANSACTIONS ON RELIABILITY, 1991, 40 (03) : 347 - 358
  • [3] A New Improved Method for Symbolic Reliability Analysis
    Shen Yuanlong (Department of Electronic Engineering
    TheJournalofChinaUniversitiesofPostsandTelecommunications, 1997, (02) : 16 - 20
  • [4] A new symbolic approach for network reliability analysis
    Beccuti, Marco
    Bobbio, Andrea
    Franceschinis, Giuliana
    Terruggia, Roberta
    2012 42ND ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2012,
  • [5] A New Algorithm for Partitioned Symbolic Reachability Analysis
    Lampka, Kai
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 (0C) : 137 - 151
  • [6] Reliability Analysis in Symbolic Pathfinder
    Filieri, Antonio
    Pasareanu, Corina S.
    Visser, Willem
    PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 622 - 631
  • [7] A new formula and an algorithm for reliability analysis of networks
    Zhao, LC
    Kong, FJ
    MICROELECTRONICS AND RELIABILITY, 1997, 37 (03): : 511 - 518
  • [8] Symbolic System Level Reliability Analysis
    Glass, Michael
    Lukasiewycz, Martin
    Reimann, Felix
    Haubelt, Christian
    Teich, Juergen
    2010 IEEE AND ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2010, : 185 - 189
  • [9] An improved method for symbolic reliability analysis
    Shen, YL
    MICROELECTRONICS RELIABILITY, 1996, 36 (05) : 631 - 635
  • [10] A new algorithm for symbolic integral with application
    Wang, WM
    Lian, XZ
    APPLIED MATHEMATICS AND COMPUTATION, 2005, 162 (02) : 949 - 968
12345