Synonyme wurden verwendet für: Methode
Suche ohne Synonyme: keywords:("Methode")

1–8 von 8 Ergebnissen
|

    Trustworthy spacecraft design using formal methods

    Freier Zugriff
    Nguyen, Viet Yen | TIBKAT | 2013
    Schlagwörter: Formale Methode

    Neural Simplex Architecture

    Phan, Dung T. / Grosu, Radu / Jansen, Nils et al. | TIBKAT | 2020
    Schlagwörter: Formale Methode

    Per-Location Simulation

    Li, Liyi / Gunter, Elsa L. | TIBKAT | 2020
    Schlagwörter: Formale Methode

    On the Usefulness of Clause Strengthening in Parallel SAT Solving

    Vallade, Vincent / Frioux, Ludovic Le / Baarir, Souheib et al. | TIBKAT | 2020
    Schlagwörter: Formale Methode

    Strengthening Deterministic Policies for POMDPs

    Winterer, Leonore / Wimmer, Ralf / Jansen, Nils et al. | TIBKAT | 2020
    Schlagwörter: Formale Methode

    A Validation Methodology for OCaml-to-PVS Translation

    An, Xiaoxin / Tahat, Amer / Ravindran, Binoy | TIBKAT | 2020
    Schlagwörter: Formale Methode

    Formal methods for safety and security : case studies for aerospace applications

    Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung | TIBKAT | 2018
    Schlagwörter: Formale Methode