eprintid: 2714
rev_number: 7
eprint_status: archive
userid: 309
dir: disk0/00/00/27/14
datestamp: 2017-12-04 09:10:36
lastmod: 2017-12-04 09:10:36
status_changed: 2017-12-04 09:10:36
type: conference_item
metadata_visibility: show
creators_name: Nguyen, Trinh Dong
creators_name: Truong, Anh Hoang
creators_id: hoangta@vnu.edu.vn
title: A formal contract-based model for component-based real-time systems
ispublished: pub
subjects: IT
divisions: fac_fit
date: 2017-11
date_type: published
full_text_status: none
pres_type: paper
event_title: 2017 4th NAFOSTED Conference on Information and Computer Science (NICS 2017)
event_location: Hanoi, Vietnam
event_dates: 24-25 November 2017
event_type: conference
refereed: TRUE
citation:   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.