Formal Specification and Dependability Analysis of Optical Communication Networks. Siddique, U., Hoque, K. A., & Johnson, T. T. In Design, Automation, and Test in Europe, 2017. IEEE.
Formal Specification and Dependability Analysis of Optical Communication Networks [pdf]Paper  bibtex   

Downloads: 0