1–38 von 38 Ergebnissen
|

Ihre Suche:
keywords:("Softwareentwicklung")

    AUTOSAR compendium

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

    Safe software development for a video-based train detection system in accordance with EN 50128

    Freier Zugriff
    Dorka, Moritz | SLUB | 2013
    Schlagwörter: Softwareentwicklung

    Building Secure Cars

    Oka, Dennis / Safari, an O’Reilly Media Company. | SLUB | 2021
    Schlagwörter: Softwareentwicklung

    Timing Verifikation von AUTOSAR Softwarearchitekturen

    Freier Zugriff
    Beringer, Steffen | TIBKAT | 2022
    Schlagwörter: Softwareentwicklung

    EBASO - Entwicklung und Bewertung variantenreicher eingebetteter Software : zusammenfassender Schlussbericht der PROSTEP IMP GmbH zum Verbundprojekt

    Freier Zugriff
    Rock, Georg / Schreiber, Kai / Kliemannel, Fabian | TIBKAT | 2011
    Schlagwörter: Softwareentwicklung

    EBASO - Entwicklung und Bewertung variantenreicher eingebetteter Software : Schlussbericht der PROSTEP IMP GmbH zum Verbundprojekt

    Freier Zugriff
    Rock, Georg / Kliemannel, Fabian / Schreiber, Kai | TIBKAT | 2011
    Schlagwörter: Softwareentwicklung

    Hardware and Software Codesign

    Freier Zugriff
    Pirron, Marcus | TIBKAT | 2024
    Schlagwörter: Softwareentwicklung

    Building secure cars : assuring the automotive software development lifecycle

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

      Building secure cars : assuring the automotive software development lifecycle

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

    A Validation Methodology for OCaml-to-PVS Translation

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

    Safe and Robust Automation of Aircraft and System Operation

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

    Specification of Distributed Computing for Small Satellite Control

    Freier Zugriff
    Rückerl, Sebastian | TIBKAT | 2023
    Schlagwörter: Softwareentwicklung

    Per-Location Simulation

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

    Neural Simplex Architecture

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

    Heterogeneous Verification of an Autonomous Curiosity Rover

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

    Composable Coordination for Service Robots: A Model-Driven Approach

    Freier Zugriff
    Lutz, Matthias | TIBKAT | 2022
    Schlagwörter: Softwareentwicklung

    Validating Machine Learning-based Highly Automated Driving Functions by Diversity

    Freier Zugriff
    De Candido, Oliver Thomas | TIBKAT | 2023
    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

    Automotive software

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

    Guidance for avionics software management

    Airlines Electronic Engineering Committee / Aeronautical Radio, Inc., Annapolis, Md. | TIBKAT | 1993
    Schlagwörter: Softwareentwicklung

    Forms 2000 - Formale Techniken für die Eisenbahnsicherung

    Schnieder, Eckehard | TIBKAT | 2000
    Schlagwörter: Softwareentwicklung

      Forms 2000 - Formale Techniken für die Eisenbahnsicherung

      Schnieder, Eckehard | SLUB | 2000
      Schlagwörter: Softwareentwicklung

    Simulation und Test für die Automobilelektronik IV

    Tagung Simulation und Test für die Automobilelektronik | TIBKAT | 2012
    Schlagwörter: Softwareentwicklung

      Simulation und Test für die Automobilelektronik IV

      Gühmann, Clemens | SLUB | 2012
      Schlagwörter: Softwareentwicklung

    Bayesian optimization in robot learning : automatic controller tuning and sample-efficient methods

    Freier Zugriff
    Marco-Valle, Alonso / Eberhard Karls Universität Tübingen | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    Simulation und Test für die Automobilelektronik III : vom Konzept bis zur Serie ; mit 12 Tabellen ; [die Vierte Tagung Simulation und Text für die Autobobilelektronik, die im Mai/Juni 2010 ... durchgeführt wird]

    Ingenieurgesellschaft Auto und Verkehr / Tagung Simulation und Test in der Funktions- und Softwareentwicklung für die Automobilelektronik | TIBKAT | 2010
    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

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

    Freier Zugriff
    Bubeck, Alexander / Weisshardt, Florian / Sing, Tobias et al. | BASE | 2012
    Schlagwörter: Softwareentwicklung

    Practical application of model-based software design for automotive

    Ranville, S. | Tema Archiv | 2002
    Schlagwörter: modellbasierte Softwareentwicklung

    TOYOTA MBD initiatives for engine control design

    Ishizaki, Naoya / Kako, Junichi / Kuroda, Yukio | Tema Archiv | 2013
    Schlagwörter: modellbasierte Softwareentwicklung