Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Holzmann, Gerard J. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
April 29, 2015
Publication Date
October 8, 2011
Subject Category
Computer Programming And Software Meeting Information
Meeting: International Conference on Embedded Software (EMSOFT)
Location: Taipei
Country: Taiwan, Province of China
Start Date: October 9, 2011
End Date: October 14, 2011
Sponsors: Institute of Electrical and Electronics Engineers
Distribution Limits
Public
Keywords
trainingcertification codingstatoc analysiscoding standards