SLA-Verifier: Stateful and Quantitative Verification for Service Chaining
IEEE INFOCOM 2017 - IEEE CONFERENCE ON COMPUTER COMMUNICATIONS（2017）
关键词
SLA violation detection accuracy,SLA-Verifier,quantitative model,static verification,Service Level Agreement compliance,network misconfigurations,network verification,service chaining,quantitative verification,Stateful verification,SLA-verifier
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要