Formal Analysis of Database Trigger Systems Using Event-B

Bài báo khoa học đăng trên tạp chí trong danh mục ESCI, Scopus (không thuộc danh mục SCI/SCIE/AHCI/SSCI), (Q4)

Loại công bố: Bài báo khoa học đăng trên tạp chí trong danh mục ESCI, Scopus (không thuộc danh mục SCI/SCIE/AHCI/SSCI), (Q4)
Tên công bố: Formal Analysis of Database Trigger Systems Using Event-B
Nơi công bố: —
Tên tạp chí: International Journal of Software Innovation
Nhà xuất bản: —
Thời gian: 2020-11-25
Chỉ số tác động (IF): —
Tập (vol): —
Kỳ (issue): —
Trang: —
Tác giả liên hệ: Lê Hồng Anh
Tác giả thứ nhất: Lê Hồng Anh
Đồng tác giả: Truong Ninh Thuan, To Van Khanh
Danh sách tác giả: Lê Hồng Anh
Thuộc HĐ giáo sư: —
Đường dẫn: —
Tệp đính kèm: —