Thuan V. Truong

Learn More
6. Changes in academic process: Changed thesis title to " Methods for modeling and verifying event-driven systems " , decision number 34/QĐ-ĐT, signed date: 18/01/2013 7. Official thesis title: Methods for modeling and verifying event-driven systems. 11. Summary of the new findings of the thesis: 1. This thesis introduces a new method to model and verify a(More)
  • 1