1–2 von 2 Ergebnissen
|

    Formal Verification in Early Mission Planning

    Freier Zugriff
    Fischer, Philipp M. / Lüdtke, Daniel / Schaus, Volker et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2012

      Formal Verification in Early Mission Planning

      Freier Zugriff
      Fischer, Philipp M. / Lüdtke, Daniel / Schaus, Volker et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2012

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

    Freier Zugriff
    Fischer, Philipp Martin / Lüdtke, Daniel / Lange, Caroline et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2016

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

      Freier Zugriff
      Fischer, Philipp M. / Lüdtke, Daniel / Lange, Caroline et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2016