|
[PBM17]
Sophia Petridou, Stylianos Basagiannis and Lefteris Mamatas.
Energy-efficiency analysis under QoS constraints using formal methods: A study on EPONs.
In Proc. IEEE International Conference on Communications (ICC'17), pages 1-6.
2017.
[Performs formal modelling and analysis of Ethernet Passive Optical Networks (EPONs) using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|