21–40 von 80 Ergebnissen
|

    Heterogeneous Verification of an Autonomous Curiosity Rover

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

    In-Car-Computing : Tools und Techniken für Software-Systeme im Automobil

    Hindel, Bernd | TIBKAT | 2001
    Schlagwörter: Softwareentwicklung

    Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften

    Freier Zugriff
    Schulze, Christoph | TIBKAT | 2022
    Schlagwörter: Agile Softwareentwicklung

    Safe and Robust Automation of Aircraft and System Operation

    Krause, Christoph | TIBKAT | 2021
    Schlagwörter: Softwareentwicklung

    Neural Simplex Architecture

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

    Per-Location Simulation

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

    A Validation Methodology for OCaml-to-PVS Translation

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

    On the Usefulness of Clause Strengthening in Parallel SAT Solving

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

    Strengthening Deterministic Policies for POMDPs

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

    How to control a software project

    Winkelmann, Rolf | TIBKAT | 1985
    Schlagwörter: Softwareentwicklung

    A coordination perspective of agility in automotive product development

    Freier Zugriff
    Schrof, Julian Immanuel / Universität der Bundeswehr München, Fakultät für Luft- und Raumfahrttechnik | TIBKAT | 2022
    Schlagwörter: Agile Softwareentwicklung

    Entwicklung und Bewertung variantenreicher eingebetteter Software : Projekt "EBASO" ; Schlussbericht von Fraunhofer FIRST

    Freier Zugriff
    Mann, Stefan | TIBKAT | 2011
    Schlagwörter: Softwareentwicklung

    Validating Machine Learning-based Highly Automated Driving Functions by Diversity

    Freier Zugriff
    De Candido, Oliver Thomas | TIBKAT | 2023
    Schlagwörter: Softwareentwicklung

    Design und Realisierung einer modularen Architektur für ein Fahrzeugentwurfssystem

    Gühl, Uwe | TIBKAT | 2003
    Schlagwörter: Softwareentwicklung

    Automotive software

    Jurgen, Ronald K. | TIBKAT | 2006
    Schlagwörter: Softwareentwicklung

    Implementierung des Software-Prototyps einer Online-Frachtenbörse

    Föhring, René / Kuhlmann, Adina Silvia | TIBKAT | 2011
    Schlagwörter: Softwareentwicklung