|
[MDT09]
Nils Mullner, Abhishek Dhama and Oliver Theel.
Deriving a Good Trade-off Between System Availability and Time Redundancy.
In Proc. Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing (UIC-ATC'09), IEEE.
2009.
[Studies design trade-offs in self-stabilising systems using several methods, including probabilistic model checking with PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|