Hoang, Minh Duong and Le, Khanh Trinh and Pham, Ngoc Hung (2013) An Assume-Guarantee Model Checker for Component-Based Systems. In: 2013: IEEE RIVF International Conference on Computing and Communication Technologies (RIVF2013), November 11-13, 2013, 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: | Ms. Cam Le Tran Thi |
| Date Deposited: | 22 Jul 2015 13:58 |
| Last Modified: | 22 Jul 2015 13:58 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/768 |
Actions (login required)
 |
View Item |
