1–2 of 2 hits
|

    Formal Verification in Early Mission Planning

    Free access
    Fischer, Philipp M. / Lüdtke, Daniel / Schaus, Volker et al. | German Aerospace Center (DLR) | 2012

      Formal Verification in Early Mission Planning

      Free access
      Fischer, Philipp M. / Lüdtke, Daniel / Schaus, Volker et al. | German Aerospace Center (DLR) | 2012

    Implementing Model Based System Engineering for the Whole Lifecycle of a Spacecraft

    Free access
    Fischer, Philipp M. / Lüdtke, Daniel / Lange, Caroline et al. | German Aerospace Center (DLR) | 2016

      Implementing Model Based System Engineering for the Whole Lifecycle of a Spacecraft

      Free access
      Fischer, Philipp Martin / Lüdtke, Daniel / Lange, Caroline et al. | German Aerospace Center (DLR) | 2016