Travelled to:1 × Singapore
Collaborated with:S.S.Cha N.G.Leveson
Talks about:analysi (1) safeti (1) murphi (1) verif (1) fault (1) tree (1) use (1)
Person: Timothy J. Shimeall
DBLP: Shimeall:Timothy_J=
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.