Wilfried Steiner, John Rushby, Maria Sorea, and Holger Pfeifer. Model Checking a FaultTolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. In Proc. of the 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Sal 2 - de Moura, Owre, Rueß, Rushby.. (2004) Self-citation (Rushby Sorea) (Correct)
No context found.
Steiner, W., Rushby, J., Sorea, M., Pfeifer, H.: Model checking a fault-tolerant startup algorithm: From design exploration to exhaustive fault simulation. To be presented at DSN '04 (2004) Available at http://www.csl.sri.com/~rushby/ abstracts/startup-verification.
Sal 2 - de Moura, Owre, Rueß, Rushby.. (2004) Self-citation (Rushby Sorea) (Correct)
No context found.
Steiner, W., Rushby, J., Sorea, M., Pfeifer, H.: Model checking a fault-tolerant startup algorithm: From design exploration to exhaustive fault simulation. To be presented at DSN '04 (2004) Available at http://www.csl.sri.com/~rushby/ abstracts/startup-verification.
Modeling and Verification of a Fault-Tolerant Real-time.. - Dutertre, Sorea (2004) (2 citations) Self-citation (Sorea) (Correct)
No context found.
Wilfried Steiner, John Rushby, Maria Sorea, and Holger Pfeifer. Model checking a faulttolerant startup algorithm: From design exploration to exhaustive fault simulation. To be presented at DSN 2004, 2004.
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
No context found.
Wilfried Steiner, John Rushby, Maria Sorea, and Holger Pfeifer. Model Checking a FaultTolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. In Proc. of the 2004.
Semi-Automatic Compensation of the Propagation Delay.. - Losert, Elmenreich.. (2004) (Correct)
No context found.
Wilfried Steiner, John Rushby, Maria Sorea, and Holger Pfeifer. Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2004.
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