Pham, Ngoc Hung and toshiaki, aoki and takuya, katayama (2009) Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer, E92-A (11). pp. 2772-2780. ISSN 0916-8508
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: | Phạm Ng�c Hùng |
Date Deposited: | 14 Dec 2016 10:34 |
Last Modified: | 14 Dec 2016 10:34 |
URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2040 |
Actions (login required)
View Item |