1–20 von 951 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

    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

    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

    Function-Based API for Gas Turbine Engine Performance Programs

    SAE Technical Papers | 2013
    Schlagwörter: Life cycle analysis

    Task modelling and model validation for car driving

    Freier Zugriff
    Käthner, David / Huemer, Anja Katharina / Ihme, Klas et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022
    Schlagwörter: task analysis

    Using Knowledge Exchange Workshops to analyze the DLR Software Engineering Community

    Freier Zugriff
    Schlauch, Tobias / Haupt, Carina | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2018
    Schlagwörter: research-software-engineering community analysis

    PySimulator – A Simulation and Analysis Environment in Python with Plugin Infrastructure

    Freier Zugriff
    Pfeiffer, Andreas / Hellerer, Matthias / Hartweg, Stefan et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2012
    Schlagwörter: PySimulator Python Simulator FMI FMU Modelica Plugin Simulation Analysis Linear System Analysis

    Digital Annex of Diagnostic Trouble Code Definitions and Failure Type Byte Definitions

    SAE Technical Papers | 2010
    Schlagwörter: Failure analysis

    How Few? Bayesian Statistics in Injury Biomechanics

    Schmidt, Allison L. / Bass, Cameron R. âDaleâ / Cutcliffe, Hattie C. et al. | SAE Technical Papers | 2012
    Schlagwörter: Statistical analysis

    Simulation Analysis of Light Off-Road Vehicle's Body Frame during Airdropping

    Yue, Jing-Tao / Tang, Li / Guo, Bo-Hai | Tema Archiv | 2012
    Schlagwörter: simulation analysis

    Online and offline security policy assessment

    Freier Zugriff
    VALENZA, FULVIO / VALLINI, MARCO / LIOY, ANTONIO | BASE | 2016
    Schlagwörter: configuration analysis

    Controlling Infrastructure Costs: Right-Sizing the Mission Control Facility

    Martin, Keith / Sen-Roy, Michael / Heiman, Jennifer | NTRS | 2009
    Schlagwörter: Economics And Cost Analysis

    Function-Based API for Gas Turbine Engine Performance Programs

    SAE Technical Papers | 2011
    Schlagwörter: Life cycle analysis

    An Operations Concept for Integrated Model-Centric Engineering at JPL

    Bayer, Todd J. / Cooney, Lauren A. / Delp, Christopher L. et al. | NTRS | 2010
    Schlagwörter: Systems Analysis And Operations Research

    Image fusion and decision in a context of multisource images

    Maitre, H. / Swedish Society for Automated Image Analysis(SSAB) | British Library Conference Proceedings | 1995
    Schlagwörter: image analysis , automated image analysis

    The intelligent user interface for NASA's advanced information management systems

    Campbell, William J. / Short, Nicholas, Jr. / Rolofs, Larry H. et al. | NTRS | 1987
    Schlagwörter: Systems Analysis

    Testability Design of the PHM System for Aero-Engines

    Wen, Zhen-Hua / Liu, Yuan-Peng / Yin, Xin | Tema Archiv | 2012
    Schlagwörter: uncertainty analysis

    A system management methodology for building successful resource management systems

    Hornstein, Rhoda Shaller / Willoughby, John K. | NTRS | 1989
    Schlagwörter: Systems Analysis

    The Advanced Technology Operations System: ATOS

    Kaufeler, J.-F. / Laue, H. A. / Poulter, K. et al. | NTRS | 1993
    Schlagwörter: Systems Analysis

    Modeling and Simulation Resource Repository (MSRR)(System Engineering/Integrated M&S Management Approach

    Milroy, Audrey / Hale, Joe | NTRS | 2006
    Schlagwörter: Systems Analysis And Operations Research