Login / Signup
Dan Zhang
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Decision Trees
Hardware Design
Formal Methods
Complex Networks
Top Venues
IEEE/ACM Trans. Netw.
</>
Publications
</>
Peng Zhang
,
Hui Wu
,
Dan Zhang
,
Qi Li
Verifying Rule Enforcement in Software Defined Networks With REV.
IEEE/ACM Trans. Netw.
28 (2) (2020)