Nguyen Thi Thanh Tam

Master student (2015 Oct - 2017 Oct)

Ogata Laboratory

School of Information Science

Japan Advanced Institute of Science and Technology (JAIST)


Research:

Graphical Animations of State Machines Cafeobj: Proof scores of MCS and properties

Paper

Graphical Animations of State Machines
Analysis of MCS List-based Queuing Lock with Maude and a State Machine Graphical Animation Tool