Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Date Acquired
August 23, 2013
Publication Date
June 8, 2004
Meeting Information
Meeting: Assurance Technology Symposium
Location: Cleveland, OH
Country: United States
Start Date: June 8, 2004
Distribution Limits
Public
Keywords
requirements decompositionlightweight formal methodssoftware requirements