Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
August 25, 2013
Publication Date
January 10, 2008
Subject Category
Mathematical And Computer Sciences (General) Meeting Information
Meeting: TESTCOM/FATES
Location: Tokyo
Country: Japan
Start Date: June 10, 2008
Distribution Limits
Public
Keywords
RMORRCAT (Requirement CApture Tool)machine language