M. Viola

发表

Ontario Hydro's Experience with New Methods for Engineering Safety Critical Software

M. Viola, 1995, SAFECOMP.

Ontario Hydro experience in the identification and mitigation of potential failures in safety critical software systems

M. Viola, R. G. Huget, P. A. Froebel, 1995 .