Amanote Research
Register
Sign In
Cassini Test Methodology for Flight Software Verification During Operations
doi 10.2514/6.2007-6341
Full Text
Open PDF
Abstract
Available in
full text
Date
August 20, 2007
Authors
Eric Wang
Jay Brown
Publisher
American Institute of Aeronautics and Astronautics
Related search
Methodology for Hardware/Software Co-Verification in C/C++
Cassini Remote Terminal Interface Units as Part of Instrument Test Bed Operations During the Tour of Saturn
Verification Methodology for DEVS Models
Methodology for Software Maintenance.
Methodology for Selecting Software Filters
Annals of DAAAM and Proceedings of the International DAAAM Symposium
Control
Systems Engineering
Industrial
Mechanical Engineering
Electronic Engineering
Manufacturing Engineering
Computer Science Applications
Electrical
Deductive Software Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
A Deconstructivist Methodology for Software Engineering
Evolution of Flight Operations for ESA's Gravity Mission GOCE
Embedded Software Verification in Hardware–software Codesign
Journal of Systems Architecture
Hardware
Architecture
Software