relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/
title: On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems
creator: Tran, Hoang Viet
creator: Nguyen, Quang-Trung
creator: Pham, Ngoc Hung
subject: Information Technology (IT)
date: 2019-12
type: Conference or Workshop Item
type: NonPeerReviewed
format: application/pdf
language: en
identifier: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/1/paper%2016.pdf
identifier:   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)