Design and Assurance Strategy for the NRL Pump

Myong H. Kang, Andrew P. Moore, Ira S. Moskowitz. Design and Assurance Strategy for the NRL Pump. IEEE Computer, 31(4):56-64, 1998.

Abstract

Abstract is missing.