|
[CS19]
Muffy Calder and Michele Sevegnani.
Stochastic model checking for predicting component failures and service availability.
IEEE Transactions on Dependable and Secure Computing, 16(1), pages 174-187.
2019.
[Uses probabilistic model checking and PRISM for a formal analysis to support the management of a critical communications service.]
|
|
Links:
[Google]
[Google Scholar]
|