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

    Road safety audit

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

    On modelling urban transportation networks via hybrid Petri nets

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

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

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

    "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

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

    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

    Agiles Virtuell hybrides Testen der nächsten Generation : Schlussbericht

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

    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

    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

    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

    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

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

    Freier Zugriff
    Hartjen, Lukas / Technische Universität Braunschweig | TIBKAT | 2023
    Schlagwörter: Verifikation

    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