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]

@article{JakariaRF19,
  title = {A Requirement-Oriented Design of NFV Topology by Formal Synthesis},
  author = {A. H. M. Jakaria and Mohammad Ashiqur Rahman and Carol J. Fung},
  year = {2019},
  doi = {10.1109/TNSM.2019.2920824},
  url = {https://doi.org/10.1109/TNSM.2019.2920824},
  researchr = {https://researchr.org/publication/JakariaRF19},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Network and Service Management},
  volume = {16},
  number = {4},
  pages = {1739-1753},
}