Verification of a Finite Element Model for Pyrolyzing Ablative Materials
Vector Animation: Web-Based Software Training on Demand
Vector Animation: Web-Based Software Training on Demand
V and V of a Spacecraft's Autonomous Planner through Extended Automation
Validation Process for LEWICE Coupled by Use of a Navier-Stokes Solver
Validation of spacecraft software cost estimation models for flight and ground systems
Validation of NSSC-I software for the Hubble Space Telescope
Validation of mission critical software design and implementation using model checking
Validating system-level error recovery for spacecraft
Utilizing Code Generation from Models for Electric Aircraft Motor Controller Flight Software
USM3D Simulations for Second Sonic Boom Workshop
Using SPIN model checking for verification of flight software
Using SPIN model checking for flight software verification
Using Sequence Diagrams to Detect Communication Problems Between Systems
Using ODC for empirical evaluation of software anomalies
Using component technology to facilitate external software reuse in ground-based planning systems
Using CCSDS Standards to Reduce Mission Costs
Using Automatic Code Generation in the Attitude Control Flight Software Engineering Process