Sciweavers

FM
2003
Springer
115views Formal Methods» more  FM 2003»
14 years 20 days ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn