ATVA
2008
Springer
13 years 6 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...