A Requirement-Oriented Design of NFV Topology by Formal Synthesis
Article
Jakaria, AHM, Rahman, Mohammad Ashiqur, Fung, Carol. (2019). A Requirement-Oriented Design of NFV Topology by Formal Synthesis
. IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 16(4), 1739-1753. 10.1109/TNSM.2019.2920824
Jakaria, AHM, Rahman, Mohammad Ashiqur, Fung, Carol. (2019). A Requirement-Oriented Design of NFV Topology by Formal Synthesis
. IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 16(4), 1739-1753. 10.1109/TNSM.2019.2920824