Verification Framework for Software-Defined Networking.

Miyoung Kang Jong Jin Cho

Published in: ICACT (2022)

Keyphrases

model checking
databases
information retrieval
main contribution
conceptual framework
real time
genetic algorithm
feature selection
probabilistic model
sensor networks
software architecture
software design