Analyzing the real-time properties of a U.S. navy signal processing system (1999)

by S Goddard, K Jeffay
Venue:Proc. 4th IEEE Int. Symp. on High Assurance Systems Engineering