Items where Author is "Le, Chi Luan"
Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 4. ArticleLe, 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 Conference or Workshop ItemLe, Chi Luan and Tran, Hoang Viet and Pham, Ngoc Hung (2017) On Implementation of the Assumption Generation Method for Component-Based Software Verification. In: The 9th Asian Conference on Intelligent Information and Database Systems, 3-5 April 2017, Kanazawa, Japan. Tran, Hoang Viet and Le, Chi Luan and Pham, Ngoc Hung (2016) A Strongest Assumption Generation Method for Component-Based Software Verification. In: The 2016 IEEE RIVF International Conference on Computing and Communication Technologies, 7-9 November 2016, Hanoi, Vietnam. Tran, Hoang Viet and Le, Chi Luan and Nguyen, Quang Trung and Pham, Ngoc Hung (2014) An Efficient Method for Automated Generating Models of Component-Based Software. In: 2014: The 6th International Conference on Knowledge and Systems Engineering (KSE 2014), 9-11 October 2014, Hanoi, Vietnam. |
