Sciweavers

95
Voted
ENTCS
2007
143views more  ENTCS 2007»
15 years 4 days ago
Formal Fault Tree Analysis - Practical Experiences
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
Frank Ortmeier, Gerhard Schellhorn