Implementing Model Based System Engineering for the Whole Lifecycle of a Spacecraft
Implementing Model Based System Engineering for the Whole Lifecycle of a Spacecraft
Formal Verification in Early Mission Planning
Formal Verification in Early Mission Planning
Concurrent Engineering Software Development at German Aerospace Center -Status and Outlook-