Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System.

Pierre Bieber, Charles Castel, Christel Seguin

Browse the full EDCC paper archive.