Tran, Hoang Viet and Pham, Ngoc Hung and Dang, Van Hung (2018) On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. In: 2018 10th International Conference on Knowledge and Systems Engineering (KSE), 1-3 November 2018, Ho Chi Minh city, Vietnam. (In Press)
Full text not available from this repository.| 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: | 19 Oct 2018 06:28 |
| Last Modified: | 19 Oct 2018 06:28 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/3120 |
Actions (login required)
 |
View Item |
