Modeling and Verifying Basic Modules of Floodlight.

Shuangqing Xiang Xi Wu Huibiao Zhu Wanling Xie Lili Xiao Phan Cong Vinh

Published in: Mob. Networks Appl. (2019)

Keyphrases

real world
computer vision
digital libraries
modeling language
modular structure
database
feature selection
knowledge base
image processing
decision trees
model checking
modeling framework