1–5 von 5 Ergebnissen
|

    A Continuous Verification Process in Concurrent Engineering

    Schaus, Volker / Fischer, Philipp M. / Lüdtke, Daniel et al. | AIAA | 2013

    A formal method for early spacecraft design verification

    Fischer, Philipp M. / Ludtke, Daniel / Schaus, Volker et al. | IEEE | 2013

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

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

    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 M. / Lüdtke, Daniel / Lange, Caroline et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2016