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