Generic and agile service function chain verification on cloud.

Xiaoli Zhang Qi Li Jianping Wu Jiahai Yang

Published in: IWQoS (2017)

Keyphrases

cloud computing
software development
model checking
protocol specification
web services
service providers
neural network
high level
management system
domain specific
distributed systems
service quality
face verification
formal methods
formal verification
private cloud