共 27 条
[1]
Andow P, 1991, GUIDANCE HAZOP PROCE
[2]
[Anonymous], 1996, HAZARD IDENTIFICATIO
[4]
CHUNG PWH, 1997, 5 INT WORKSH ADV FUN
[5]
CHUNG PWH, 1998, IN PRESS J LOSS PREV
[6]
CHUNG PWH, 1995, COMPUTER CONTROL HUM, pCH2
[7]
AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1986, 8 (02)
:244-263
[8]
CROLL PR, 1997, P 16 INT C COMP SAF, P321
[9]
Drake E.M., 1993, PROCESS SAF PROG, V12, P92
[10]
*HLTH SAF EX, 1995, OUT OF CONTR WHY CON