Scalable Impact Range Detection against Newly Added Rules for Smart Network Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yutaka Takita' in GoogleThis author has not been identified. Look up 'Masatake Miyabe' in GoogleThis author has not been identified. Look up 'Hiroshi Tomonaga' in GoogleThis author has not been identified. Look up 'Naoki Oguchi' in Google

runs on WebDSL