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

1–20 von 209 Ergebnissen
|

    Worst-Case Analysis of Complex Nonlinear Flight Control Designs Using Deep Q-Learning

    Braun, David / Marb, Michael M. / Angelov, Jorg et al. | AIAA | 2023
    Schlagwörter: Software Testing

    Web browsing automation for applications quality control

    Freier Zugriff
    García Gutiérrez, Boni / Dueñas, Juan Carlos | BASE | 2015
    Schlagwörter: Automated software testing

    Virtuelle Integration und Test von E/E-Fahrzeugsystemen

    Honisch, Artur / Krügel, Karsten | Tema Archiv | 2013
    Schlagwörter: Software-Test

    VirSim, a simulated environment for developing multitask software of satellite

    Jalilian, S. / Jamshidifar, A.A. / Nematollahzadeh, S.M. | Tema Archiv | 2007
    Schlagwörter: Programmprüfung

    Verification of PLC programs using formal proof techniques

    Sülflow, Andre / Drechsler, Rolf | Tema Archiv | 2008
    Schlagwörter: Programmprüfung

    Verification of optical in-vehicle occupant classification systems. Systematics, hardware environment and validation tools

    Bauer, M. / Koch, C. / Nehls, W. et al. | Tema Archiv | 2007
    Schlagwörter: Software-Test

    Verification of flight software with Karnough map-based checking

    Jaw, L. / Tsai, W.T. / Homan, D. et al. | Tema Archiv | 2007
    Schlagwörter: Programmprüfung

    Verification of cyberphysical transportation systems (intelligent transportation systems)

    Platzer, A. | Tema Archiv | 2009
    Schlagwörter: Programmprüfung

    Validierung der System-Software für die LZB-Zentralen der NBS Köln-Rhein/Main

    Proettel, S. / Renninger, G. | Tema Archiv | 2004
    Schlagwörter: Software-Prüfung

    Validation of mission critical software design and implementation using model checking (spacecraft)

    Pingree, P.J. / Mikk, E. / Holzmann, G.J. et al. | Tema Archiv | 2002
    Schlagwörter: Programmprüfung

    Validating metrics for ensuring Space Shuttle flight software quality

    Schneidewind, N.F. | Tema Archiv | 1994
    Schlagwörter: Programmprüfung

    Using Modern Methodologies with Maintenance Software

    Streiffert, Barbara / Francis, Laurie / Smith, Benjamin | NTRS | 2014
    Schlagwörter: Software Testing

    Trusted and Resilient Mission Operations

    W. Weimer / J. Davidson / S. Forrest et al. | NTIS | 2020
    Schlagwörter: Software testing

    Towards a methodology for building safe software-based systems

    Ben Swarup, M. / Seetha Ramaiah, P. | Tema Archiv | 2008
    Schlagwörter: Programmtest

    The NIST MEL: assisting aerospace manufacturing through measurements and standards

    Stieren, D.C. | Tema Archiv | 2001
    Schlagwörter: Programmprüfung

    The efficient use of HiL simulation and vehicle tests for in-house software development at Porsche

    Jooß, Benedikt / Rotter, Thomas / Schramm, Dieter | Springer Verlag | 2021
    Schlagwörter: Software Testing