R. John. Formal methods and digital systems validation for airborne systems. Technical report, 2003. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Unified Approach to Hardware Verification through Heterogeneous .. - Fisler (1996) (8 citations) (Correct)
Bi-directional Analysis for Certification of Safety-Critical.. - Lutz, Woodhouse (1999) (1 citation) (Correct)
Transition Assertions: A Higher-Order Logic Based Method for the.. - Coll (1997) (Correct)
High-Automation Proofs for Properties of Requirements Models - Di Vito (1999) (1 citation) (Correct)
Applying Adaptive Safety Analysis Techniques - Lutz, Shaw (Correct)
Mechanical Verification of Compiler Correctness - Stringer-Calvert (1998) (Correct)
Software Component Dependability Assessment - Voas (1998) (Correct)
Why Engineers Should Consider Formal Methods - Holloway (1997) (1 citation) (Correct)
Formal Methods Technology Transfer: A View from NASA - Caldwell (1996) (2 citations) (Correct)
Exploiting the Potential of Diagrams in Guiding Hardware Reasoning - Fisler (1995) (3 citations) (Correct)
High-Automation Proofs for Properties of Requirements Models - Di Vito (1999) (1 citation) (Correct)
Experience Report: Using Formal Methods for Requirements.. - Lutz, Ampo (1996) (6 citations) (Correct)
Targeting Safety-Related Errors During Software Requirements.. - Lutz (1996) (25 citations) (Correct)
NASA Langley's Research and Technology-Transfer.. - Butler, Caldwell, .. (1995) (8 citations) (Correct)
Test Driven Development In Erlang/OTP - Martin Carlson It (Correct)
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
Abstractions for Fault-Tolerant Distributed System.. - Pike, Maddalon, Miner.. (2004) (Correct)
Abstractions for Fault-Tolerant Distributed System.. - Pike, Maddalon, Miner.. (2004) (Correct)
Bi-directional Analysis for Certication of Safety-Critical.. - Lutz, Woodhouse (1999) (Correct)
A Comparison of Bus Architectures for Safety-Critical Embedded.. - Rushby (2001) (17 citations) Self-citation (Rushby) (Correct)
Formal Verification for Fault-Tolerant.. - Owre, Rushby.. (1995) (221 citations) Self-citation (Rushby) (Correct)
Formal Verification for Fault-Tolerant.. - Owre, Rushby.. (1995) (221 citations) Self-citation (Rushby) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC