relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3120/
title: On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software
creator: Tran, Hoang Viet
creator: Pham, Ngoc Hung
creator: Dang, Van Hung
subject: Information Technology (IT)
date: 2018
type: Conference or Workshop Item
type: NonPeerReviewed
identifier:   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)