Paper information

Paper code

IAC-08.D1.3.2

Order

2

Room

Argyll 2

Title

A Framework Proposal for Formal Verification and Validation of Space Software Systems

abstract

View PDF

Session

3. System Engineering Tools, Processes & Training

symposium

D1. SPACE SYSTEMS SYMPOSIUM

congress

IAC-08

Type of presentation

oral

Main author

Dr. Miriam Alves, Institute for Aeronautics and Space (IAE), Brazil