Inertial Navigation System Simulator: Behavioral Specification
Landherr, S.
Klein, M.
Technical Report
CMU/SEI-89-TR-035
The Real-Time Embedded Systems Testbed (REST) Project at the Software Engineering Institute is specifying and developing a representative real-time application. This document augments an original set of specifications written by a Navy affiliate. The purpose of this behavioral specification is to clarify and augment the original.