SAFETY ANALYSIS USING PETRI NETS

被引：193

作者：

LEVESON, NG

STOLZY, JL

机构：

来源：

关键词：

D O I：

10.1109/TSE.1987.233170

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：386 / 397

页数：12

共 19 条

[1]

AZEMA P, 1977, JUN P FTCS7, P206

[2]

AZEMA P, 1976, 13TH P DES AUT C, P109

[3]

BERTHOMIEU B, 1983, 1983 P IFIP C PAR

COOLAHAN, JE ;

ROUSSOPOULOS, N .

[5]

HACK MHT, 1972, MIT94 TECH REP

[6]

Hammer W., 1972, HDB SYSTEM PRODUCT S

[7]

KOPETZ H, 1982, JUN P FTCS12 SANT MO, P14

[8]

LEVESON NG, 1984, COMPUTER FEB

[9]

Merlin P. M., 1974, A study of the recoverability of computing systems

MERLIN, PM ;

FARBER, DJ .