Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Gibson, Corrina (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Karban, Robert (European Southern Observatory Garching, Germany) Andolfato, Luigi (European Southern Observatory Garching, Germany) Day, John (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
May 12, 2015
Publication Date
November 12, 2013
Subject Category
Computer Programming And Software Meeting Information
Meeting: Java Pathfinder Workshop 2013
Location: Palo Alto, CA
Country: United States
Start Date: November 12, 2013
Sponsors: NASA Headquarters
Distribution Limits
Public
Keywords
StatechartModel CheckingFault ProtectionSysML