eprintid: 3598
rev_number: 7
eprint_status: archive
userid: 304
dir: disk0/00/00/35/98
datestamp: 2019-11-27 13:39:34
lastmod: 2019-11-27 13:39:34
status_changed: 2019-11-27 13:39:34
type: conference_item
metadata_visibility: show
creators_name: Tran, Hoang Viet
creators_name: Nguyen, Quang-Trung
creators_name: Pham, Ngoc Hung
creators_id: vietth2004@gmail.com
creators_id: trungnq@vcu.edu.vn
creators_id: hungpn@vnu.edu.vn
title: On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems
ispublished: inpress
subjects: IT
divisions: fac_fit
date: 2019-12
full_text_status: public
pres_type: paper
event_title: THE 10TH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY
event_location: Ha Long Bay, Quang Ninh, Vietnam
event_dates: December 4 – 6, 2019
event_type: conference
refereed: FALSE
citation:   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)  
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/1/paper%2016.pdf