relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1473/
title: A Framework for Verifying the Conformance of Design to Its Formal Specifications
creator: Vu, Dieu Huong
creator: Chiba, Yuki
creator: Yatake, Kenro
creator: Aoki, Toshiaki
subject: Information Technology (IT)
subject: ISI-indexed journals
publisher: IEICE
date: 2015
type: Article
type: PeerReviewed
identifier:   Vu, Dieu Huong and Chiba, Yuki and Yatake, Kenro and Aoki, Toshiaki  (2015) A Framework for Verifying the Conformance of Design to Its Formal Specifications.  IEICE Transactions on Information and Systems, E98-D  (6).   pp. 1137-1149.  ISSN 1745-1361