Synonyms were used for: Verifikation
Search without synonyms: keywords:(Verifikation)

1–20 of 422 hits
|

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

    Free access
    Neider, Daniel / Weinert, Alexander / Zimmermann, Martin | German Aerospace Center (DLR) | 2019
    Keywords: Verifikation

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

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

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

    Gillen, Christoph / Hesse, Lars / Lammermann, Matthias | Tema Archive | 2014
    Keywords: Überprüfung

    Road safety audit

    Austroads | SLUB | 2002
    Keywords: Überprüfung

    On modelling urban transportation networks via hybrid Petri nets

    Febbraro, Angela di / Sacco, Nicola | Tema Archive | 2004
    Keywords: Verifizierung

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

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

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

    Free access
    Lein, Sebastian / Tröndle, Daniel / Tesat-Spacecom GmbH, Backnang | TIBKAT | 2022
    Keywords: Verifikation

    Verification of a cruise control system using counterexample-guided search

    Stursberg, Olaf / Fehnker, Ansgar / Han, Zhi et al. | Tema Archive | 2004
    Keywords: Verifizierung

    Agiles Virtuell hybrides Testen der nächsten Generation : Schlussbericht

    Ambrus, Fabian / Airbus Defence & Space | TIBKAT | 2021
    Keywords: Verifikation

    Inline corrosion inspection verifies integrity of nonpiggable, noninterruptible gas lines

    Mikkola, Carl A. / Case, Christina L. / Garrity, Kevin C. | Tema Archive | 2005
    Keywords: Überprüfung

    Agiles Virtuell hybrides Testen der nächsten Generation : Schlussbericht

    Free access
    Ambrus, Fabian / Airbus Defence & Space | TIBKAT | 2021
    Keywords: Verifikation

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

    Free access
    Sengewald, Erik / Friedrich-Schiller-Universität Jena | TIBKAT | 2016
    Keywords: Überprüfung

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

    Free access
    Stich, Dennis / Forster, Caroline / Ritter, Andreas et al. | German Aerospace Center (DLR) | 2015
    Keywords: 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 Archive | 2011
    Keywords: Überprüfung

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

    Montag, Pascal / Nowotka, Dirk / Levi, Paul | Tema Archive | 2006
    Keywords: Ü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
    Keywords: Verifikation

    Semantic classification of urban traffic scenarios for the validation of automated driving systems

    Free access
    Hartjen, Lukas / Technische Universität Braunschweig | TIBKAT | 2023
    Keywords: Verifikation

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

    Forschungsbericht
    Free access
    Gesamtverband der Deutschen Versicherungswirtschaft e. V. | FID move | 2019
    Keywords: Überprüfung