A Unified Framework for Simulating Markovian Models of Highly Dependable Systems

The authors present a unified framework for simulating Markovian models of highly dependable systems. It is shown that a variance reduction technique called importance sampling can be used to speed...