<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-10-07 03:17:07Aerospace engineering Spacecraft design Communicating sequential processes Modeling language Generic Modeling Environment Formal methods System Software development methodology NEAR Shoemaker Spaceflight Spacecraft Systems engineering |
Add to Reading List |
SIGPLAN Conference Proceedings template | Experience with Rule-Based Analysis of Spacecraft Logs? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USADocID: 1xUdS - View Document |
| Comprehension of spacecraft telemetry using hierarchical specifications of behavior? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USADocID: 1xTRi - View Document |
| Anisotropic Scaling • Cluster multi-spacecraft measurement in slow windDocID: 1vojz - View Document |
| Flexible Spacecraft DynamicsDocID: 1uO4J - View Document |
| Resolving Spacecraft Earth-Flyby Anomalies with Measured Light Speed Anisotropy Reginald T. Cahill arXiv:0804.0039v3 [physics.gen-ph] 9 Apr 2008DocID: 1uFIe - View Document |