Calibration using generalized error matrices of a long reach articulated carrier
Computational verifiability and feasibility of the ASCI program
Creating simulation capabilities
Critical software for nuclear reactors: 11 years of field experience analysis
Engineering oriented dependability evaluation: MEADEP and its applications