VNU-UET Repository

Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software

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 View Item