Acquisition Source
Jet Propulsion Laboratory
Document Type
Presentation
Authors
Gamble, Ed (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Holzmann, Gerard (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
April 23, 2015
Publication Date
October 19, 2011
Subject Category
Systems Analysis And Operations ResearchQuality Assurance And Reliability Meeting Information
Meeting: 2011 Workshop on Spacecraft Flight Software (FSW-11)
Location: Laurel, MD
Country: United States
Start Date: October 19, 2011
End Date: October 21, 2011
Sponsors: Johns Hopkins Univ., Jet Propulsion Lab., California Inst. of Tech., Aerospace Corp., Southwest Research Inst.
Distribution Limits
Public
Keywords
Toyotaunintended accelerationlogic model checking