TY  - JOUR
ID  - SisLab1473
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1473/
IS  - 6
A1  - Vu, Dieu Huong
A1  - Chiba, Yuki
A1  - Yatake, Kenro
A1  - Aoki, Toshiaki
Y1  - 2015///
PB  - IEICE
JF  - IEICE Transactions on Information and Systems
VL  - E98-D
SN  - 1745-1361
TI  - A Framework for Verifying the Conformance of Design to Its Formal Specifications
SP  - 1137
AV  - none
EP  - 1149
ER  -