Vu, Dieu Huong and Chiba, Yuki and Yatake, Kenro and Aoki, Toshiaki (2015) A Framework for Verifying the Conformance of Design to Its Formal Specifications. IEICE Transactions on Information and Systems, E98-D (6). pp. 1137-1149. ISSN 1745-1361
Full text not available from this repository.| Item Type: | Article |
|---|---|
| Subjects: | Information Technology (IT) ISI-indexed journals |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Prof. Xuan-Tu Tran |
| Date Deposited: | 06 Jan 2016 07:48 |
| Last Modified: | 06 Jan 2016 07:48 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1473 |
Actions (login required)
 |
View Item |
