1–10 von 2,095 Ergebnissen
|

    Logic Model Checking of Time-Periodic Real-Time Systems

    Florian, Mihai / Gamble, Ed / Holzmann, Gerard | NTRS | 2012
    Schlagwörter: Systems Analysis And Operations Research , software analysis

    Robust Optimization of the Secondary Air System Axial Bearing Loads with the Labyrinth Clearance Uncertainty

    Jin, Xin / Liu, Chuankai / Liu, Peng et al. | ASCE | 2024
    Schlagwörter: Sensitivity analysis , Probabilistic analysis

    Certified Information Flow Analysis of Service Implementations

    Freier Zugriff
    Heinze, Thomas S. / Türker, Jasmin | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2018
    Schlagwörter: information flow analysis , certified analysis

    Evaluation of High-Temperature Martensitic Steels for Heavy-Duty Diesel Piston Applications

    Trofimov, Artem / Pierce, Dean / Gingrich, Eric et al. | SAE Technical Papers | 2022
    Schlagwörter: Finite element analysis

    Health Management Systems Engineering and Integration

    Wilmering, Timothy J. / Mott, Charles D. | Wiley | 2011
    Schlagwörter: diagnostic analysis , reliability analysis , criticality analysis , system safety analysis

    Numerical Investigations on Development of Scramjet Combustor

    Venkatasubbaiah, K | Online Contents | 2015
    Schlagwörter: Numerical analysis , Analysis

    Three-Dimensional Finite Element Analyses of Local Stress Intensity Factor Solutions for Kinked Cracks of Spot Welds in Commonly Used Specimens

    Wang, Dung-an / Lin, Pai-Chen / Lin, Zhi-Long | SAE Technical Papers | 2019
    Schlagwörter: Finite element analysis

    Vulnerability Analysis

    Knight, Alissa | Wiley | 2020
    Schlagwörter: active vulnerability analysis , passive vulnerability analysis

    Digital Twin For Fatigue Analysis

    Freier Zugriff
    Chabod Amaury / Baron Nicolas | DOAJ | 2020
    Schlagwörter: fatigue analysis , modal analysis

    Scientific Developers v/s Static Analysis Tools: Vision and Position Paper

    Freier Zugriff
    Krishnamurthy, Rohan / Heinze, Thomas S. / Haupt, Carina et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019
    Schlagwörter: static analysis