TY  - JOUR
ID  - SisLab2040
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2040/
IS  - 11
A1  - Pham, Ngoc Hung
A1  - toshiaki, aoki
A1  - takuya, katayama
Y1  - 2009/11//
PB  - IEICE
JF  - IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer
VL  - E92-A
SN  - 0916-8508
TI  - Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
SP  - 2772
AV  - none
EP  - 2780
ER  -