|
[SHJ17]
Umair Siddique, Khaza Anuarul Hoque and Taylor T. Johnson.
Formal Specification and Dependability Analysis of Optical Communication Networks.
In Proc. Design, Automation & Test in Europe Conference & Exhibition (DATE'17).
2017.
[Formally analyses the dependability of topologies for optical networks using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|