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)
|
PDF
Download (196kB) | Preview |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Phạm Ng�c Hùng |
| Date Deposited: | 27 Nov 2019 13:39 |
| Last Modified: | 27 Nov 2019 13:39 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598 |
Actions (login required)
 |
View Item |
