1–20 von 28 Ergebnissen
|

    Ada 95 and Safety-Critical Software

    Holloway, C. M. / IEEE / AIAA | British Library Conference Proceedings | 1995

    Why Engineers Should Consider Formal Methods

    Holloway, C. M. / IEEE / AIAA | British Library Conference Proceedings | 1997

    An Informal Introduction to Formal Methods

    Holloway, C. M. / Miner, P. S. / Butler, R. W. et al. | British Library Conference Proceedings | 1995
    Beteiligte: Holloway, C. M.

    An Overview of SAL

    Bensalem, S. / Ganesh, V. / Lakhnech, Y. et al. | British Library Conference Proceedings | 2000
    Beteiligte: Holloway, C. M.

    Formal Analysis of the Remote Agent Before and After Flight

    Havelund, K. / Lowry, M. / Park, S. et al. | British Library Conference Proceedings | 2000
    Beteiligte: Holloway, C. M.

    Integrating Z and Cleanroom

    Stavely, A. M. / United States | British Library Conference Proceedings | 2000
    Beteiligte: Holloway, C. M.

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

    Greve, D. / Wilding, M. / Bickford, M. et al. | British Library Conference Proceedings | 2000
    Beteiligte: Holloway, C. M.

    Taking the hol out of HOL

    Day, N. A. / Donat, M. R. / Joyce, J. J. et al. | British Library Conference Proceedings | 2000
    Beteiligte: Holloway, C. M.

    Timing Analysis by Model Checking

    Naydich, D. / Guaspari, D. / United States | British Library Conference Proceedings | 2000
    Beteiligte: Holloway, C. M.

    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
    Beteiligte: Holloway, C. M.

    Modeling and Validating Hybrid Systems using VDM and Mathematica

    Aichernig, B. K. / Kainhofer, R. / United States | British Library Conference Proceedings | 2000
    Beteiligte: Holloway, C. M.

    Honeywell Software Development Project

    Sherry, L. / Hoover, D. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Beteiligte: Holloway, C. M.

    The AAMP5/AAMP-FV Project

    Miller, S. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Beteiligte: Holloway, C. M.

    Hybrid Fault Algorithms

    Lincoln, P. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Beteiligte: Holloway, C. M.

    Overview of NASA Langley's Formal Methods Program

    Butler, R. W. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Beteiligte: Holloway, C. M.

    Rationale focal Methods

    Butler, R. W. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Beteiligte: Holloway, C. M.

    Model Checking

    Dill, D. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Beteiligte: Holloway, C. M.

    Safety Analysis

    Knight, J. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Beteiligte: Holloway, C. M.

    Introduction to Penelope and Its Applications

    Guaspari, D. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995
    Beteiligte: Holloway, C. M.