Vidhi Thapa

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Vidhi Thapa, Eunjee Song, Hanil Kim
An Approach to Verifying Security and Timing Properties in UML Models. ICECCS (2010)