| DC Field | Value | Language |
|---|
| dc.contributor.author | Duong, Duc Nam | - |
| dc.date.accessioned | 2020-06-25T15:21:42Z | - |
| dc.date.available | 2020-06-25T15:21:42Z | - |
| dc.date.issued | 2020 | - |
| dc.identifier.uri | http://192.168.1.231:8080/dulieusoDIGITAL_123456789/5924 | - |
| dc.description.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. | en_US |
| dc.publisher | Đại học Quốc gia Hà Nội | en_US |
| dc.title | Developing a tool to verify triggers in DMBS | en_US |
| Appears in Collections: | Các chuyên ngành khác
|
