Amanote Research

Amanote Research

    RegisterSign 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 WangJay Brown
Publisher

American Institute of Aeronautics and Astronautics


Related search

Methodology for Hardware/Software Co-Verification in C/C++

English

Cassini Remote Terminal Interface Units as Part of Instrument Test Bed Operations During the Tour of Saturn

2004English

Verification Methodology for DEVS Models

English

Methodology for Software Maintenance.

1984English

Methodology for Selecting Software Filters

Annals of DAAAM and Proceedings of the International DAAAM Symposium
ControlSystems EngineeringIndustrialMechanical EngineeringElectronic EngineeringManufacturing EngineeringComputer Science ApplicationsElectrical
2018English

Deductive Software Verification

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2011English

A Deconstructivist Methodology for Software Engineering

2010English

Evolution of Flight Operations for ESA's Gravity Mission GOCE

2012English

Embedded Software Verification in Hardware–software Codesign

Journal of Systems Architecture
HardwareArchitectureSoftware
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy