PRIME IMPLICANTS OF NONCOHERENT FAULT-TREES

被引：9

作者：

WORRELL, RB

STACK, DW

HULME, BL

机构：

来源：

关键词：

D O I：

10.1109/TR.1981.5220996

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：98 / 100

页数：3

共 7 条

[1] PRIME IMPLICANT ALGORITHM WITH FACTORING [J].

HULME, BL ;

WORRELL, RB .

KUMAMOTO, H ;

HENLEY, EJ .

[3]

LOCKS MO, 1980, IEEE T RELIAB, V29, P130, DOI 10.1109/TR.1980.5220752

[4]

Nelson R. J., 1955, J SYMBOLIC LOGIC, V20, P105

[5]

Quine W. V., 1955, AM MATH MONTHLY, V62, P627, DOI DOI 10.1080/00029890.1955.11988710

[6]

WORRELL RB, 1978, SAND772051 SAND NAT

[7]

WORRELL RB, 1974, SLA730028A SAND NAT