1–2 von 2 Ergebnissen
|

    A Continuous Verification Process in Concurrent Engineering

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

    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