Myo Thet Naung

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Formal Analysis

Image Processing

Top Venues

Publications

Kyaw Myat Thu, Myo Thet Naung, Kyaw Zaw Ye, V. V. Devyatkov
The Formal Logical Analysis of the Correctness of the Specifications of Network Protocol SIP. UKSim (2016)