50116169

j

50116169 Hung, Pham Ngoc Aoki, Toshiaki Katayama, Takuya Modular conformance testing and assume-guarantee verification for evolving component-based software IEICE Transactions 92-A, No. 11, 2772-2780 (2009). 2009 EN

http://search.ieice.org/bin/summary.php?id=e92-a_11_2772