Yutaka Takita, Masatake Miyabe, Hiroshi Tomonaga, Naoki Oguchi. Scalable Impact Range Detection against Newly Added Rules for Smart Network Verification. In 44th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2020, Madrid, Spain, July 13-17, 2020. pages 1471-1476, IEEE, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.