Travelled to:1 × USA
Collaborated with:M.W.Green K.N.Levitt R.E.Shostak
Talks about:analysi (1) system (1) design (1) verif (1) toler (1) fault (1) sift (1)
Person: John H. Wensley
DBLP: Wensley:John_H=
Contributed to:
1976Wrote 1 papers:
- ICSE-1976-WensleyGLS #analysis #design #fault tolerance #verification
- The Design, Analysis, and Verification of the SIFT Fault-Tolerant System (JHW, MWG, KNL, RES), pp. 458–469.