Kang G Shin

Characterization of real-time computers
Integrated analysis of error detection and recovery