1–3 of 3 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

    Concurrent Engineering Software Development at German Aerospace Center -Status and Outlook-

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