Items where Author is "Nguyen, Quang-Trung"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 3. Conference or Workshop ItemTran, Hoang Viet and Nguyen, Quang-Trung and Pham, Ngoc Hung (2019) On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems. In: THE 10TH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY, December 4 – 6, 2019, Ha Long Bay, Quang Ninh, Vietnam. (In Press) Tran, Hoang-Viet and Pham, Ngoc Hung and Le, Chi-Luan and Nguyen, Quang-Trung (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. Nguyen, Quang-Trung and Pham, Ngoc Hung (2013) An Efficient Method for Automated Control Flow Testing of Programs. In: 2013: 2nd International Conference on Context-Aware Systems and Applications (ICCASA 2013), 25-26 November 2013, Phu Quoc, Vietnam. |
