Synonyme wurden verwendet für: Softwareentwicklung
Suche ohne Synonyme: keywords:("Softwareentwicklung")

1–20 von 868 Ergebnissen
|

    A robotic framework for the mobile manipulator : theory and application

    Van Toan, Nguyen / Bui Khoi, Phan | TIBKAT | 2023
    Schlagwörter: Software Engineering

    Software engineering for automotive systems : principles and applications

    Sivakumar, P. / Kumar, B. Vinoth / Devi, R. S. Sandhya | TIBKAT | 2022
    Schlagwörter: Software Engineering , Software engineering

    Building secure cars : assuring the automotive software development lifecycle

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

    Safe and Robust Automation of Aircraft and System Operation

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

    Embedded software timing : methodology, analysis and practical tips with a focus on automotive

    Gliwa, Peter | TIBKAT | 2021
    Schlagwörter: Software engineering.

    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

    Heterogeneous Verification of an Autonomous Curiosity Rover

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

    Managed evolution of automotive software product line architectures

    Knieke, Christoph / Technische Universität Clausthal / Verlag Dr. Hut, München | TIBKAT | 2019
    Schlagwörter: Software Engineering

    Automotive systems and software engineering : state of the art and future trends

    Dajsuren, Yanja / den Brand, Mark | TIBKAT | 2019
    Schlagwörter: Software Engineering

    Formal methods for safety and security : case studies for aerospace applications

    Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung | TIBKAT | 2018
    Schlagwörter: Software Engineering

      Formal methods for safety and security : case studies for aerospace applications

      Nanda, Manju / Jeppu, Yogananda | SLUB | 2018
      Schlagwörter: Software Engineering

    Q&A: The future according to Weir

    Tom Risen | Online Contents | 2017
    Schlagwörter: Software engineering

    Automotive software architectures : an introduction

    Staron, Miroslaw | TIBKAT | 2017
    Schlagwörter: Software engineering

      Automotive software architectures : an introduction

      Staron, Miroslaw | SLUB | 2017
      Schlagwörter: Software engineering

    AIAA Publishes New Book on Aircraft and Rotorcraft Flight Control Systems

    Online Contents | 2017
    Schlagwörter: Software development

    3-D center joins real, virtual design

    Joe Stumpe | Online Contents | 2017
    Schlagwörter: Software engineering

    AUTOSAR compendium

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