eprintid: 1473
rev_number: 6
eprint_status: archive
userid: 4
dir: disk0/00/00/14/73
datestamp: 2016-01-06 07:48:03
lastmod: 2016-01-06 07:48:03
status_changed: 2016-01-06 07:48:03
type: article
metadata_visibility: show
creators_name: Vu, Dieu Huong
creators_name: Chiba, Yuki
creators_name: Yatake, Kenro
creators_name: Aoki, Toshiaki
title: A Framework for Verifying the Conformance of Design to Its Formal Specifications
ispublished: pub
subjects: IT
subjects: isi
divisions: fac_fit
date: 2015
date_type: published
publisher: IEICE
full_text_status: none
publication: IEICE Transactions on Information and Systems
volume: E98-D
number: 6
pagerange: 1137-1149
refereed: TRUE
issn: 1745-1361
citation:   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