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.
Full text not available from this repository.| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | A/Prof. Truong Hoang |
| Date Deposited: | 04 Dec 2017 09:10 |
| Last Modified: | 04 Dec 2017 09:10 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2714 |
Actions (login required)
 |
View Item |
