Items where Author is "Le, Khanh Trinh"
Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 3. ArticleLe, Khanh Trinh and Vo, Dinh Hieu and Pham, Ngoc Hung (2015) A Method for Automated User Interaction Testing of Web Applications. Research, Development and Application on Information Technology and Communication Technology, E3 (8). pp. 28-37. Conference or Workshop ItemLe, Khanh Trinh (2018) Formalization and Verification of AUTOSAR OS Standard's Memory Protection. In: The 12th International Symposium on Theoretical Aspects of Software Engineering, 29-31 August 2018, Guangzhou, China. (In Press) Hoang, Minh Duong and Le, Khanh Trinh and Pham, Ngoc Hung (2013) An Assume-Guarantee Model Checker for Component-Based Systems. In: 2013: IEEE RIVF International Conference on Computing and Communication Technologies (RIVF2013), November 11-13, 2013, Hanoi, VIETNAM. |
