<--- Back to Details
First PageDocument Content
New Millennium Program / CloudSat / Jet Propulsion Laboratory / NASA / Edward C. Stone / Goddard Space Flight Center / Earth Observing System / Deep Space 1 / Champollion / Spacecraft / Spaceflight / Space technology
Date: 2014-06-18 15:36:51
New Millennium Program
CloudSat
Jet Propulsion Laboratory
NASA
Edward C. Stone
Goddard Space Flight Center
Earth Observing System
Deep Space 1
Champollion
Spacecraft
Spaceflight
Space technology

Jet Propulsion Laboratory Universe Pasadena, California

Add to Reading List

Source URL: planetary.s3.amazonaws.com

Download Document from Source Website

File Size: 178,12 KB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Programming language theory / Procedural programming languages / Programming languages / Logic in computer science / Runtime verification / Cross-platform software / Program slicing / Model checking / L-system / Trace

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

DocID: 1xVWh - View Document

FO / Finite model theory / Model theory / Metaphilosophy / Mathematical logic / Mathematics / Sigma-algebra / Pattern language

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

DocID: 1xVrl - View Document

Computing / Software engineering / Models of computation / UML state machine / State diagram / HSM / Scala

Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

DocID: 1xVoG - View Document

Model checkers / Software engineering / Computing / Model checking / Theoretical computer science / SPIN model checker / Stack / Promela / Exception handling / Device driver synthesis and verification

Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

DocID: 1xVnS - View Document

Software testing / Software engineering / Computing / Quality / Fault injection / Software verification / Reliability engineering / Formal verification / Flash memory / Software quality / Stress testing / Exception handling

Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena

DocID: 1xVf0 - View Document