Le, Chi Luan and Tran, Hoang Viet and Pham, Ngoc Hung (2016) A Framework for Modeling and Modular Verifying of Component-Based System Designs. VNU Journal of Computer Science and Communication Engineering, 32 (2). pp. 31-42. ISSN 0866-8612