TY  - CONF
ID  - SisLab2541
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2541/
A1  - Luong, Thanh Nhan
A1  - To, Van Khanh
A1  - Truong, Ninh Thuan
Y1  - 2017/04//
PB  - Springer
TI  - Checking Compliance of Program with Secure UML Model
SP  - 489
M2  - Kanazawa, Japan
AV  - none
EP  - 498
T2  - 9th Asian Conference on Intelligent Information and Database Systems
ER  -