Concepedia
Statistics
Publications
1
Citations
10
H-Index
Active since
2018
Affiliations
Japan Advanced Institute of Science and Technology(Current)
May Thu Aung is an author at Japan Advanced Institute of Science and Technology.
Publications per year
2018–2018
GUESSING, MODEL CHECKING AND THEOREM PROVING OF STATE MACHINE PROPERTIES – A CASE STUDY ON QLOCK
May Thu Aung, Tam Thi Thanh Nguyen, Kazuhiro Ogata · International Journal of Computer Systems & Software Engineering · 2018 · 10 citations · Full text
1–1 of 1