eprintid: 1295 rev_number: 7 eprint_status: archive userid: 20 dir: disk0/00/00/12/95 datestamp: 2015-11-07 04:31:01 lastmod: 2015-11-07 04:32:22 status_changed: 2015-11-07 04:31:01 type: conference_item metadata_visibility: show creators_name: Nguyen, Khoa Hai creators_name: Dang, Duc Hanh creators_id: hanhdd@vnu.edu.vn title: RTL: A Tool for Precise Model Transformations ispublished: pub subjects: IT divisions: fac_fit date: 2014 date_type: published full_text_status: none pres_type: paper event_title: 2014: International Conference on Advanced Computing and Applications (ACOMP) event_location: Ho Chi Minh City, Vietnam event_dates: 19-21 November 2014 event_type: conference refereed: TRUE citation: Nguyen, Khoa Hai and Dang, Duc Hanh (2014) RTL: A Tool for Precise Model Transformations. In: 2014: International Conference on Advanced Computing and Applications (ACOMP), 19-21 November 2014, Ho Chi Minh City, Vietnam.