1–10 of 11 hits
|

Your search:
keywords:("Softwareentwicklung")

    Entwicklung der Forschungssoftware RCE im DLR

    Free access
    Boden, Brigitte / Mischke, Robert | German Aerospace Center (DLR) | 2019
    Keywords: Softwareentwicklung

    Per-Location Simulation

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

    A Validation Methodology for OCaml-to-PVS Translation

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

    Neural Simplex Architecture

    Phan, Dung T. / Grosu, Radu / Jansen, Nils et al. | 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

    Heterogeneous Verification of an Autonomous Curiosity Rover

    Cardoso, Rafael C. / Farrell, Marie / Luckcuck, Matt et al. | TIBKAT | 2020
    Keywords: Softwareentwicklung

    Implementing best practices for systems integration and distributed software development in service robotics - the Care-O-bot® robot family

    Free access
    Bubeck, Alexander / Weisshardt, Florian / Sing, Tobias et al. | BASE | 2012
    Keywords: Softwareentwicklung

    'Lane Assist'. Das neue aktive Spurhaltesystem von Volkswagen

    Rohlfs, Michael / Schiebe, Sebastian / Müller, Jürgen et al. | Tema Archive | 2008
    Keywords: modellbasierte Softwareentwicklung

    Practical application of model-based software design for automotive

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