Application of a methodology for the development and validation of reliable process control software (1981)

by C V Ramamoorthy, Y Mok, F Bastani, G Chin
Venue:University of Michigan