Login / Signup
Jnanamurthy H. K
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Formal Specification
Internet Services
Software Tools
Complex Networks
Top Venues
CoRR
</>
Publications
</>
Jnanamurthy H. K
,
Vijay Varadharajan
Formal Modelling and Verification of Software Defined Network.
CoRR
(2020)