1–20 von 25 Ergebnissen
|

    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

    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

    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

    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

    Timing Analysis by Model Checking

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

    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

    Integrating Z and Cleanroom

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

    An Overview of SAL

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

    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

    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

    Proving Properties of Accidents

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

    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

    Safety Analysis

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

    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

    Model Checking

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

    Fundamental Hardware Design in PVS

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

    Domain Checking Z Specifications

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

    The AAMP5/AAMP-FV Project

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

    An Informal Introduction to Formal Methods

    Holloway, C. M. / Miner, P. S. / Butler, R. W. et al. | British Library Conference Proceedings | 1995
    Schlagwörter: Langley formal methods

    Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region

    Day, N. / Joyce, J. / Pelletier, G. et al. | British Library Conference Proceedings | 1997
    Schlagwörter: Langley formal methods