Highlighting the challenges of model-based engineering for spaceflight software systems.

Robert G. Pettit IV, Navneet Mezcciani

Browse the full ICSE paper archive.