VNU-UET Repository

Items where Author is "Nguyen, Quang-Trung"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Conference or Workshop Item

Tran, 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.

This list was generated on Fri Mar 29 03:49:50 2024 +07.