[PBM18]
Sophia Petridou, Stylianos Basagiannis and Lefteris Mamatas.
Formal Methods for Energy-Efficient EPONs.
IEEE Transactions on Green Communications and Networking, 2(1), pages 246-259.
2018.
[Performs formal modelling and analysis of Ethernet Passive Optical Networks (EPONs) using PRISM.]
|
