<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software"^^ . "2009-11" . "E92-A" . "11" . . "IEICE"^^ . . . "IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer"^^ . . . "09168508" . . . . . . . . . . . . . "aoki"^^ . "toshiaki"^^ . "aoki toshiaki"^^ . . "Ngoc Hung"^^ . "Pham"^^ . "Ngoc Hung Pham"^^ . . "katayama"^^ . "takuya"^^ . "katayama takuya"^^ . . . . . "HTML Summary of #2040 \n\nModular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software\n\n" . "text/html" . . . "Information Technology (IT)"@en . . . "ISI-indexed journals"@en . .