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.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1145/2695664.2696038
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Dr Minh Trien Pham |
| Date Deposited: | 03 Jun 2016 07:10 |
| Last Modified: | 03 Jun 2016 07:10 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1647 |
Actions (login required)
 |
View Item |
