Sciweavers

Share
FM
2003
Springer
139views Formal Methods» more  FM 2003»
10 years 2 months ago
Combining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
Andreas Schäfer
books