Pierre Bieber, Charles Castel, Christel Seguin. Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. In Fabrizio Grandoni 0002, Pascale Thévenod-Fosse, editors, Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings. Volume 2485 of Lecture Notes in Computer Science, pages 19-31, Springer, 2002. [doi]
Abstract is missing.