Verification and validation of the algorithms for guarded software upgrading (1999)

by A T Tai, K S Tso
Venue:Phase-II Interim Technical Progress Report for Contract NAS3-99125, IA Tech, Inc