1–20 von 180 Ergebnissen
|

    Low-Speed Space Launch System Computational Fluid Dynamics: A Comprehensive Overview

    Pomeroy, Brent / Krist, Steven / Wignall, Thomas et al. | AIAA | 2024
    Schlagwörter: NASA , Langley , NASA Langley Research Center

    Taking the hol out of HOL

    Day, N. A. / Donat, M. R. / Joyce, J. J. et al. | British Library Conference Proceedings | 2000
    Schlagwörter: Langley formal methods , NASA

    Formal Analysis of the Remote Agent Before and After Flight

    Havelund, K. / Lowry, M. / Park, S. et al. | British Library Conference Proceedings | 2000
    Schlagwörter: Langley formal methods , NASA

    Timing Analysis by Model Checking

    Naydich, D. / Guaspari, D. / United States | British Library Conference Proceedings | 2000
    Schlagwörter: Langley formal methods , NASA

    Modeling the Fault Tolerant Capability of a Flight Control System: An Exercise in SCR Specification

    Alexander, C. / Cortellessa, V. / Del Gobbo, D. et al. | British Library Conference Proceedings | 2000
    Schlagwörter: Langley formal methods , NASA

    An Overview of SAL

    Bensalem, S. / Ganesh, V. / Lakhnech, Y. et al. | British Library Conference Proceedings | 2000
    Schlagwörter: Langley formal methods , NASA

    Modeling and Validating Hybrid Systems using VDM and Mathematica

    Aichernig, B. K. / Kainhofer, R. / United States | British Library Conference Proceedings | 2000
    Schlagwörter: Langley formal methods , NASA

    Orpheus: A Self-Checking Translation Tool Arrangement for Flight Critical Hardware

    Greve, D. / Wilding, M. / Bickford, M. et al. | British Library Conference Proceedings | 2000
    Schlagwörter: Langley formal methods , NASA

    Reuse of a Formal Model for Requirements Validation

    Lutz, R. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997
    Schlagwörter: Langley formal methods , NASA

    Integrating Z and Cleanroom

    Stavely, A. M. / United States | British Library Conference Proceedings | 2000
    Schlagwörter: Langley formal methods , NASA

    Modeling and Validating SAFER in VDM-SL

    Agerholm, S. / Larsen, P. G. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997
    Schlagwörter: Langley formal methods , NASA

    The AAMP5/AAMP-FV Project

    Miller, S. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Schlagwörter: Langley formal methods , NASA

    Fundamental Hardware Design in PVS

    Leathrum, J. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997
    Schlagwörter: Langley formal methods , NASA

    Domain Checking Z Specifications

    Saaltink, M. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997
    Schlagwörter: Langley formal methods , NASA

    Proving Properties of Accidents

    Johnson, C. W. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997
    Schlagwörter: Langley formal methods , NASA

    Safety Analysis

    Knight, J. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Schlagwörter: Langley formal methods , NASA

    Introduction to Penelope and Its Applications

    Guaspari, D. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Schlagwörter: Langley formal methods , NASA

    Applying the SCR Requirements Method to a Simple Autopilot

    Bharadwaj, R. / Heitmeyer, C. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997
    Schlagwörter: Langley formal methods , NASA

    Hybrid Fault Algorithms

    Lincoln, P. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Schlagwörter: Langley formal methods , NASA

    Overview of NASA Langley's Formal Methods Program

    Butler, R. W. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Schlagwörter: Langley formal methods , NASA