A Requirement-Oriented Design of NFV Topology by Formal Synthesis.

A. H. M. Jakaria Mohammad Ashiqur Rahman Carol J. Fung

Published in: IEEE Trans. Netw. Serv. Manag. (2019)

Keyphrases

design process
optimal design
formal methods
case study
database systems
natural language
design principles
product design
logic synthesis
artificial intelligence
image segmentation
multiscale
artificial neural networks
user interface
conceptual design
design space exploration