A Requirement-Oriented Design of NFV Topology by Formal Synthesis

A. H. M. Jakaria, Mohammad Ashiqur Rahman, Carol J. Fung. A Requirement-Oriented Design of NFV Topology by Formal Synthesis. IEEE Transactions on Network and Service Management, 16(4):1739-1753, 2019. [doi]

Abstract

Abstract is missing.