Bieber, P. & Castel, C. & Seguin, C. Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. In Proc. 4th European Dependable Computing Conference, volume 2485 of LNCS, page 19-31, Springer-Verlag, 2002. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Optorsim - A Grid Simulator For Studying Dynamic Data Replication.. - Bell (2003) (5 citations) (Correct)
No context found.
Bieber, P. & Castel, C. & Seguin, C. Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. In Proc. 4th European Dependable Computing Conference, volume 2485 of LNCS, page 19-31, Springer-Verlag, 2002.
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