@inproceedings{SisLab2714,
       booktitle = {2017 4th NAFOSTED Conference on Information and Computer Science (NICS 2017)},
           month = {November},
           title = {A formal contract-based model for component-based real-time systems},
          author = {Trinh Dong Nguyen and Anh Hoang Truong},
            year = {2017},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2714/}
}