relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2714/
title: A formal contract-based model for component-based real-time systems
creator: Nguyen, Trinh Dong
creator: Truong, Anh Hoang
subject: Information Technology (IT)
date: 2017-11
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Nguyen, Trinh Dong and Truong, Anh Hoang  (2017) A formal contract-based model for component-based real-time systems.  In: 2017 4th NAFOSTED Conference on Information and Computer Science (NICS 2017), 24-25 November 2017, Hanoi, Vietnam.