Paul S. Miner. Verification of fault-tolerant clock synchronization systems. Technical report, NASA Langley Research Center, 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Probabilistic Internal Clock Synchronization - Cristian, Fetzer (2003) (8 citations) (Correct)
Mechanical Verification of Clock Synchronization Algorithms - Schwier, von Henke (1998) (9 citations) (Correct)
Preliminary Formal Analysis of TTA Startup - Rushby (2003) (Correct)
An Overview of Formal Verification for the Time-Triggered.. - Rushby (2002) (6 citations) (Correct)
A Comparison of Bus Architectures for Safety-Critical Embedded.. - Rushby (2001) (17 citations) (Correct)
Fault-Tolerant Clock Synchronization of Large.. - de Azevedo, Blough (1996) (Correct)
Mechanical Verification of Clock Synchronization Algorithms - Schwier, von Henke (1998) (9 citations) (Correct)
Formal Verification for Time-Triggered Clock Synchronization - Pfeifer, Schwier, von Henke (1999) (11 citations) (Correct)
Synchronization Issues in Real-Time Systems - Suri, Hugue, Walter (1994) (5 citations) (Correct)
Probabilistic Internal Clock Synchronization - Cristian, Fetzer (1994) (8 citations) (Correct)
Formal Verification for Fault-Tolerant.. - Owre, Rushby.. (1995) (221 citations) (Correct)
Formal Verification of an Interactive Consistency Algorithm.. - Lincoln, Rushby (1994) (8 citations) (Correct)
The Welch-Lynch Clock Synchronization Algorithm - Dutertre (1998) (Correct)
Formal Methods Technology Transfer: A View from NASA - Caldwell (1996) (2 citations) (Correct)
A Formally Verified Algorithm for Clock Synchronization Under a.. - Rushby (1994) (4 citations) (Correct)
Sequential-System Factorization - Rath (Correct)
Multistep Interactive Convergence: An Efficient Approach to .. - de Azevedo, Blough (Correct)
Formal Analysis for Dependability Properties: the.. - Pfeifer, Henke (2001) (Correct)
PVS Bibliography - Rushby (1998) (2 citations) (Correct)
Formal Verification of Time-Triggered Systems - Pike (2006) Self-citation (Miner) (Correct)
A Unified Fault-Tolerance Protocol - Miner, Geser, Pike, Maddalon (2004) Self-citation (Miner) (Correct)
A Unified Fault-Tolerance Protocol - Miner, Geser, Pike, Maddalon (2004) Self-citation (Miner) (Correct)
Interaction of Formal Design Systems in the Development.. - Miner, Pullela, Johnson (1994) (5 citations) Self-citation (Miner) (Correct)
NASA Langley's Research and Technology-Transfer.. - Butler.. (1998) (8 citations) Self-citation (Paul) (Correct)
NASA Langley's Research and Technology-Transfer Program in.. - Ricky Butler (1995) (8 citations) Self-citation (Paul) (Correct)
NASA Langley's Research and Technology-Transfer.. - Butler, Caldwell, .. (1995) (8 citations) Self-citation (Miner) (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