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

1–20 von 709 Ergebnissen
|

    Building secure cars : assuring the automotive software development lifecycle

    Oka, Dennis Kengo | 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.

    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

    A Validation Methodology for OCaml-to-PVS Translation

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

    Neural Simplex Architecture

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

    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

    AUTOSAR compendium

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

    HelpMe: A Heuristic License Plate Correction Method for Big Data Application

    Jia, Guochao / Tao, Xu / Liu, Yan et al. | Tema Archiv | 2015
    Schlagwörter: Software-Engineering

    Cloud-based, service-oriented and knowledge-sharing architecture: its design and application in shipbuilding

    Cheng, Yune-Yu / Shaw, Heiu-Jou | Tema Archiv | 2015
    Schlagwörter: Software-Entwicklung

    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

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Verification of Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering