Formal modeling and verification for SDN firewall application using pACSR
- Miyoung Kang
- , Jin Young Choi
- , Hee Hwan Kwak
- , Inhye Kang
- , Myung Ki Shin
- , Jong Hwa Yi
- Korea University
- SOLiD
- Electronics and Telecommunications Research Institute
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3
Scopus
citations