1–20 von 39 Ergebnissen
|

Ihre Suche:
keywords:("Softwareentwicklung")

    Building secure cars : assuring the automotive software development lifecycle

    Oka, Dennis Kengo | TIBKAT | 2021
    Schlagwörter: Softwareentwicklung

    ProMethEuS - Software-Produktlinien und Methoden zur Entwicklung sicherer Systeme in der Luft- und Raumfahrt : Schlussbericht

    Schweiger, Andreas / Airbus Defence & Space | TIBKAT | 2021
    Schlagwörter: Softwareentwicklung

    Auftragsbezeichnung: Effiziente Entwicklung eingebetteter sicherer Luftfahrtsysteme : Schlussbericht ASSET-2 : Laufzeit des Projektes: 01.01.2017-30.03.2020

    Koal, Tobias / Philotech Systementwicklung und Software GmbH | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    ARAMIS II - Entwicklungsprozesse, Werkzeuge, Plattformen für Sicherheitskritische Multicoresysteme : Schlussbericht : Laufzeit des Vorhabens: 01.10.2016-30.09.2019

    Sandmann, Timo / Karlsruher Institut für Technologie, Institut für Technik der Informationsverarbeitung / Absint Angewandte Informatik GmbH et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    A Validation Methodology for OCaml-to-PVS Translation

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

    Per-Location Simulation

    Li, Liyi / Gunter, Elsa L. | 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

    Neural Simplex Architecture

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

    AUTOSAR compendium

    Application & RTE / [Oliver Scheid]
    SLUB | 2015
    Schlagwörter: Softwareentwicklung

    Entwicklung von Steuerungs-Software für den automobilen Antriebsstrang mit agilen Methoden

    Richenhagen, Johannes Martin / Rheinisch-Westfälische Technische Hochschule Aachen | TIBKAT | 2014
    Schlagwörter: Softwareentwicklung

    Simulation and testing for automotive electronics V : [Sixth Conference on Simulation and Testing for Automotive Electronics]

    expert-Verlag GmbH Fachverlag für Wirtschaft und Technik / Ingenieurgesellschaft Auto und Verkehr / Conference on Simulation and Testing for Automotive Electronics | TIBKAT | 2014
    Schlagwörter: Softwareentwicklung