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