Acquisition Source
Jet Propulsion Laboratory
Document Type
Presentation
Authors
Barringer, Howard (Manchester Univ. MacClesfield, United Kingdom) Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Morris, Robert A. (NASA Ames Research Center Moffett Field, CA, United States) Date Acquired
August 26, 2013
Publication Date
June 2, 2011
Subject Category
Space Communications, Spacecraft Communications, Command And Tracking Meeting Information
Meeting: Scala Days 2011
Location: Stanford, CA
Country: United States
Start Date: June 2, 2011
End Date: June 3, 2011
Distribution Limits
Public
Keywords
temporal logicflight rules.Scaladomain specific languagestate machinestrace analysis