relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2040/
title: Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
creator: Pham, Ngoc Hung
creator: toshiaki, aoki
creator: takuya, katayama
subject: Information Technology (IT)
subject: ISI-indexed journals
publisher: IEICE
date: 2009-11
type: Article
type: PeerReviewed
identifier:   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