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

1–20 von 422 Ergebnissen
|

    Robust, expressive, and quantitative linear temporal logics: Pick any two for free

    Freier Zugriff
    Neider, Daniel / Weinert, Alexander / Zimmermann, Martin | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019
    Schlagwörter: Verifikation

    Überprüfung ausgewählter langfristiger Verkehrsprognosen : [ADAC-Studie zur Mobilität]

    Ratzenberger, Ralf / Allgemeiner Deutscher Automobil-Club | TIBKAT | 2005
    Schlagwörter: Überprüfung

    The efficient safety concept of the speedE steer-by-wire system

    Gillen, Christoph / Hesse, Lars / Lammermann, Matthias | Tema Archiv | 2014
    Schlagwörter: Überprüfung

    On modelling urban transportation networks via hybrid Petri nets

    Febbraro, Angela di / Sacco, Nicola | Tema Archiv | 2004
    Schlagwörter: Verifizierung

    Road safety audit

    Austroads | SLUB | 2002
    Schlagwörter: Überprüfung

    "Verifikationsoptimierte Systemarchitekturen" : Schlussbericht zum F&E Vorhaben 50 YH 1625

    Lein, Sebastian / Tröndle, Daniel / Tesat-Spacecom GmbH, Backnang | TIBKAT | 2022
    Schlagwörter: Verifikation

    "Verifikationsoptimierte Systemarchitekturen" : Schlussbericht zum F&E Vorhaben 50 YH 1625

    Freier Zugriff
    Lein, Sebastian / Tröndle, Daniel / Tesat-Spacecom GmbH, Backnang | TIBKAT | 2022
    Schlagwörter: Verifikation

    Verification of a cruise control system using counterexample-guided search

    Stursberg, Olaf / Fehnker, Ansgar / Han, Zhi et al. | Tema Archiv | 2004
    Schlagwörter: Verifizierung

    Inline corrosion inspection verifies integrity of nonpiggable, noninterruptible gas lines

    Mikkola, Carl A. / Case, Christina L. / Garrity, Kevin C. | Tema Archiv | 2005
    Schlagwörter: Überprüfung

    Überprüfung und Anwendung von Multilevel-Messmodellen für Fragebögen zur Lehrveranstaltungsevaluation

    Freier Zugriff
    Sengewald, Erik / Friedrich-Schiller-Universität Jena | TIBKAT | 2016
    Schlagwörter: Überprüfung

    Agiles Virtuell hybrides Testen der nächsten Generation : Schlussbericht

    Freier Zugriff
    Ambrus, Fabian / Airbus Defence & Space | TIBKAT | 2021
    Schlagwörter: Verifikation

    Agiles Virtuell hybrides Testen der nächsten Generation : Schlussbericht

    Ambrus, Fabian / Airbus Defence & Space | TIBKAT | 2021
    Schlagwörter: Verifikation

    Thunderstorm Nowcast and Forecast for Aviation Safety and Efficiency - Validation by IAGOS flights

    Freier Zugriff
    Stich, Dennis / Forster, Caroline / Ritter, Andreas et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2015
    Schlagwörter: on-board Verifikation

    Risk evaluation in failure mode and effects analysis of aircraft turbine rotor blades using Dempster-Shafer evidence theory under uncertainty

    Yang, Jianping / Huang, Hong-Zhong / He, Li-Ping et al. | Tema Archiv | 2011
    Schlagwörter: Überprüfung

    Überprüfung der Wirksamkeit von blauen, akustischen und multi-farbenen Reflektoren zur Bekämpfung von Wildunfällen auf Landstraßen

    Forschungsbericht
    Freier Zugriff
    Gesamtverband der Deutschen Versicherungswirtschaft e. V. | FID move | 2019
    Schlagwörter: Überprüfung

    Verification in the design process of large real-time systems: a case study

    Montag, Pascal / Nowotka, Dirk / Levi, Paul | Tema Archiv | 2006
    Schlagwörter: Überprüfung

    Robustness assessment of deployable Gossamer structural space systems

    Zander, Martin Eckhard / Technische Universität Braunschweig / Institut für Faserverbundleichtbau und Adaptronik | TIBKAT | 2021
    Schlagwörter: Verifikation

    Experimental Study on the Operation Rules between Turbocharging System and 4-stroke Medium-speed Marine Diesel Engine

    Huang, Jialiang / Yin, Zibin / Qiao, Yingzhi et al. | Tema Archiv | 2013
    Schlagwörter: Verifizierung