Synonyme wurden verwendet für: SOFTWARE SOFTWARE VALIDATION VALIDATION
Suche ohne Synonyme: keywords:(SOFTWARE VALIDATION)

1–20 von 216 Ergebnissen
|

    Unfallrekonstruktionen mit dem Simulationsprogramm Virtual Crash. Teil 1

    Melegh, Gabor / Vida, Gabor / Sucha, Dusan et al. | Tema Archiv | 2009
    Schlagwörter: Programmvalidierung

    Modelica-Simulation aktiver Sicherheitsscenarios mit validierten Fahrzeugmodellen in Dymola

    Andreasson, Johan / Jonasson, Mats / Tummescheit, Hubertus | Tema Archiv | 2009
    Schlagwörter: Kraftfahrzeug-Software , Programmvalidierung

    Unfallrekonstruktion mit dem Simulationsprogramm Virtual Crash. Teil 2

    Melegh, Gabor / Vida, Gabor / Sucha, Dusan et al. | Tema Archiv | 2009
    Schlagwörter: Programmvalidierung

    Model based development with code generators - verification, testing and certification

    Lalo, Marc / Barriault, Steve / Wissing, Klaus | Tema Archiv | 2007
    Schlagwörter: Software-Validierung

    Advanced Verification and Validation of Model-Based Designs

    Schlosser, Joachim | Tema Archiv | 2007
    Schlagwörter: Software-Validierung

    Modellbasierte Design Tools fliegen. Integrierte Software-Entwicklungslösungen für Flugzeugapplikationen

    Gärtner, Jakob | Tema Archiv | 2009
    Schlagwörter: sicherheitskritisches Software-Design , Programmvalidierung

    Etat de l'art de la validation des donnees dans le domaine ferroviaire

    Boulanger, Jean-Louis | Tema Archiv | 2007
    Schlagwörter: Software-Validierung

    PANTOBOT: A computer vision system for the automatic inspection of locomotive pantographs

    Sacchi, M. / Ascari, L. / Cagnoni, S. et al. | Tema Archiv | 2012
    Schlagwörter: Software-Validierung

    Development and validation of a modular simulation model for commercial vehicles

    Evers, Willem-Jan / Besselink, Igo / Nijmeijer, Henk | Tema Archiv | 2009
    Schlagwörter: Simulations-Software , Programmvalidierung

    Umsetzung eines Can-Most-Gateways mit AUTOSAR-Basissoftware

    Markl, Patrick | Tema Archiv | 2010
    Schlagwörter: Programmvalidierung

    Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft

    P. Rajagopal / J. B. Dabney / J. M. Badger | NTIS | 2023
    Schlagwörter: Computer Software , Verification and validation

    Using Assume-Guarantee Contracts in Autonomous Spacecraft

    J. B. Dabney / P. Rajagopal / J. M. Badger | NTIS | 2021
    Schlagwörter: Computer Software , Verification and validation

    Control development process of the brake-by-wire system

    Canuto, Francesco / Turco, Patrizio / Colombo, Davide | Tema Archiv | 2006
    Schlagwörter: Software-Validierung

    Analysis of piston assembly friction using the indicated mean effective pressure experimental method to validate mathematical models

    Mufti, R.A. / Priest, M. / Chittenden, R.J. | Tema Archiv | 2008
    Schlagwörter: Software-Validierung

    Validation of an agricultural tractor MBS model

    Lehtonen, T.J. | Tema Archiv | 2005
    Schlagwörter: Software-Validierung

    Experimentation de contextes de preuve et d'observateurs temporises pour la validation d'un protocole avionique

    Dhaussy, Philippe / Roger, Jean-Charles / Bonnin, Hugues et al. | Tema Archiv | 2007
    Schlagwörter: Software-Engineering , Software-Simulation , Software-Systemtest , Software-Validierung

    SATiSFy - Frühzeitige Validierung von Safety- und Security-Anforderungen in autonomen Fahrzeugen : Abschlussbericht : Bewilligungszeitraum: 1.5.2018-31.7.2021

    Freier Zugriff
    Drechsler, Rolf / Bruns, Niklas / Pieper, Pascal et al. | TIBKAT | 2021
    Schlagwörter: Software , Validierung

    SATiSFy - Frühzeitige Validierung von Safety- und Security-Anforderungen in autonomen Fahrzeugen : Abschlussbericht : Bewilligungszeitraum: 1.5.2018-31.7.2021

    Drechsler, Rolf / Bruns, Niklas / Pieper, Pascal et al. | TIBKAT | 2021
    Schlagwörter: Software , Validierung