|
[NCW+19]
Congwei Ni, Sihan Cheng, Xutao Wang, Tianyun Hu, Zhenjin Dai and Dongliang Zhang.
Model Checking the Reliability of Data Center Network.
In Proc. 9th International Conference on Information Technology in Medicine and Education (ITME'19).
2019.
[Verifies data centre network architectures using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|