eprintid: 3120
rev_number: 7
eprint_status: archive
userid: 304
dir: disk0/00/00/31/20
datestamp: 2018-10-19 06:28:21
lastmod: 2018-10-19 06:28:21
status_changed: 2018-10-19 06:28:21
type: conference_item
metadata_visibility: show
creators_name: Tran, Hoang Viet
creators_name: Pham, Ngoc Hung
creators_name: Dang, Van Hung
creators_id: vietth2004@gmail.com
creators_id: hungpn@vnu.edu.vn
creators_id: dvh@vnu.edu.vn
title: On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software
ispublished: inpress
subjects: IT
divisions: fac_fit
date: 2018
date_type: published
full_text_status: none
pres_type: paper
event_title: 2018 10th International Conference on Knowledge and Systems Engineering (KSE)
event_location: Ho Chi Minh city, Vietnam
event_dates: 1-3 November 2018
event_type: conference
refereed: FALSE
citation:   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)