|
[BMM17]
Sania Bhatti, Mohsin Memon, and Sheeraz Memon.
Evaluating FTTT Protocol via PRISM, PRISM-symm and GRIP.
International Journal of Computer Theory and Engineering, 9(3), pages 162-166.
2017.
[Performs probabilistic model checking of the of Fault Tolerant Target Tracking (FTTT) protocol using PRISM and related tools.]
|
|
Links:
[Google]
[Google Scholar]
|