http://192.168.1.231:8080/dulieusoDIGITAL_123456789/5924| Title: | Developing a tool to verify triggers in DMBS |
| Authors: | Duong, Duc Nam |
| Issue Date: | 2020 |
| Publisher: | Đại học Quốc gia Hà Nội |
| Abstract: | Motivation. In a previous work [1], a new method was introduced by using Event-B formal method to solve above issue. Our contribution is building a tool (called S2B) which can automatic translate form database systems to event-b models and partly supports modelling process with the Rodin platform. |
| URI: | http://192.168.1.231:8080/dulieusoDIGITAL_123456789/5924 |
| Appears in Collections: | Các chuyên ngành khác |
| File | Description | Size | Format | |
|---|---|---|---|---|
| classifier-noun-annotation-in-vietnamese-treebank1.pdf | 1.02 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.