TY  - CONF
ID  - SisLab2714
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2714/
A1  - Nguyen, Trinh Dong
A1  - Truong, Anh Hoang
Y1  - 2017/11//
TI  - A formal contract-based model for component-based real-time systems
AV  - none
M2  - Hanoi, Vietnam
T2  - 2017 4th NAFOSTED Conference on Information and Computer Science (NICS 2017)
ER  -