Travelled to:1 × Singapore
Collaborated with:N.G.Leveson T.J.Shimeall
Talks about:analysi (1) safeti (1) murphi (1) verif (1) fault (1) tree (1) use (1)
Person: Stephen S. Cha
DBLP: Cha:Stephen_S=
Contributed to:
1988Wrote 1 papers:
- ICSE-1988-ChaLS #analysis #fault #safety #using #verification
- Safety Verification in Murphy Using Fault Tree Analysis (SSC, NGL, TJS), pp. 377–387.