This report describes the IRAD projects that were conducted during fiscal year 2006 (October 2005 through September 2006).
This 1989 report is a revised version of the original Durra reference manual. This revision describes the syntax and semantics of the language and incorporates several language changes.
Topics: Performance and Dependability
This 1986 report presents a notation and a methodology for specifying the functional and timing behavior of real-time applications for a heterogeneous machine.