%0 Conference Paper
%A Nguyen, Trinh Dong
%A Truong, Anh Hoang
%B 2017 4th NAFOSTED Conference on Information and Computer Science (NICS 2017)
%C Hanoi, Vietnam
%D 2017
%F SisLab:2714
%T A formal contract-based model for component-based real-time systems
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2714/