eprintid: 2040
rev_number: 7
eprint_status: archive
userid: 304
dir: disk0/00/00/20/40
datestamp: 2016-12-14 10:34:46
lastmod: 2016-12-14 10:34:46
status_changed: 2016-12-14 10:34:46
type: article
metadata_visibility: show
creators_name: Pham, Ngoc Hung
creators_name: toshiaki, aoki
creators_name: takuya, katayama
creators_id: hungpn@vnu.edu.vn
title: Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
ispublished: pub
subjects: IT
subjects: isi
divisions: fac_fit
date: 2009-11
date_type: published
publisher: IEICE
full_text_status: none
publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer
volume: E92-A
number: 11
pagerange: 2772-2780
refereed: TRUE
issn: 0916-8508
citation:   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