Viet, Tran Hoang, VNU University of Engineering and Technology, Viet Nam

• Vol 32 No 2 (2016) - Special Issue for the 20th Anniversary of VNU-UET Faculty of Information Technology
  A Framework for Modeling and Modular Verifying of Component-based System Designs
  Abstract  PDF