Synonyme wurden verwendet für: formale Überprüfung Überprüfung
Suche ohne Synonyme: keywords:(formale Überprüfung)

1–3 von 3 Ergebnissen
|

    Formal Verification of the LDACS MAKE Protocol

    Freier Zugriff
    Mäurer, Nils / Grundner-Culemann, Sophia | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022
    Schlagwörter: Formal Verification

    Improving Efficiency of Human-Robot Coexistence While Guaranteeing Safety: Theory and User Study

    Freier Zugriff
    Pereira, Aaron / Baumann, Mareike / Gerstner, Jonas et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022
    Schlagwörter: Formal verification

    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
    Schlagwörter: Formal Verification

      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
      Schlagwörter: Formal Verification