eprintid: 1647
rev_number: 7
eprint_status: archive
userid: 11
dir: disk0/00/00/16/47
datestamp: 2016-06-03 07:10:48
lastmod: 2016-06-03 07:10:48
status_changed: 2016-06-03 07:10:48
type: conference_item
metadata_visibility: show
creators_name: Le, Hong Anh
creators_name: Truong, Ninh Thuan
creators_name: Nakajima, Shin
creators_id: thuantn@vnu.edu.vn
title: Verifying eventuality properties of imprecise system requirements using event-B
ispublished: pub
subjects: IT
divisions: fac_fit
date: 2015
date_type: published
official_url: http://dx.doi.org/10.1145/2695664.2696038
id_number: doi:10.1145/2695664.2696038
full_text_status: none
pres_type: paper
pagerange: 1651-1653
event_title: SAC 2015
event_dates: 2015
event_type: conference
refereed: TRUE
book_title: Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15
citation:   Le, Hong Anh and Truong, Ninh Thuan and Nakajima, Shin  (2015) Verifying eventuality properties of imprecise system requirements using event-B.  In: SAC 2015, 2015.