<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Framework for Verifying the Conformance of Design to Its Formal Specifications"^^ . "2015" . "E98-D" . "6" . . "IEICE"^^ . . . "IEICE Transactions on Information and Systems"^^ . . . "17451361" . . . . . . . . . . . . . . . . "Yuki"^^ . "Chiba"^^ . "Yuki Chiba"^^ . . "Dieu Huong"^^ . "Vu"^^ . "Dieu Huong Vu"^^ . . "Toshiaki"^^ . "Aoki"^^ . "Toshiaki Aoki"^^ . . "Kenro"^^ . "Yatake"^^ . "Kenro Yatake"^^ . . . . . "HTML Summary of #1473 \n\nA Framework for Verifying the Conformance of Design to Its Formal Specifications\n\n" . "text/html" . . . "Information Technology (IT)"@en . . . "ISI-indexed journals"@en . .