Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP

@article{Wang2018FormalizationAV,
  title={Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP},
  author={Huiwen Wang and Huibiao Zhu and Lili Xiao and Yuan Fei},
  journal={International Journal of Software Engineering and Knowledge Engineering},
  year={2018},
  volume={28},
  pages={1657-1677}
}
  • Huiwen Wang, Huibiao Zhu, +1 author Yuan Fei
  • Published in
    International Journal of…
    2018
  • Computer Science
  • Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Topics from this paper.