S. J. Geoghegan

发表

Design, verification, and validation of self-checking software components

S. J. Geoghegan, D. Avresky, 1996, Conference Proceedings of the 1996 IEEE Fifteenth Annual International Phoenix Conference on Computers and Communications.