1–7 of 7 hits
|

    A Validation Methodology for OCaml-to-PVS Translation

    An, Xiaoxin / Tahat, Amer / Ravindran, Binoy | TIBKAT | 2020
    Keywords: Softwareentwicklung

    On the Usefulness of Clause Strengthening in Parallel SAT Solving

    Vallade, Vincent / Frioux, Ludovic Le / Baarir, Souheib et al. | TIBKAT | 2020
    Keywords: Softwareentwicklung

    Strengthening Deterministic Policies for POMDPs

    Winterer, Leonore / Wimmer, Ralf / Jansen, Nils et al. | TIBKAT | 2020
    Keywords: Softwareentwicklung

    Per-Location Simulation

    Li, Liyi / Gunter, Elsa L. | TIBKAT | 2020
    Keywords: Softwareentwicklung

    Neural Simplex Architecture

    Phan, Dung T. / Grosu, Radu / Jansen, Nils et al. | TIBKAT | 2020
    Keywords: Softwareentwicklung

    TOYOTA MBD initiatives for engine control design

    Ishizaki, Naoya / Kako, Junichi / Kuroda, Yukio | Tema Archive | 2013
    Keywords: modellbasierte Softwareentwicklung

    Practical application of model-based software design for automotive

    Ranville, S. | Tema Archive | 2002
    Keywords: modellbasierte Softwareentwicklung