Trigger2B: A Tool Generating Event-B Models from Database Triggers

Báo cáo khoa học đăng trên các kỷ yếu khoa học tại Hội nghị/Hội thảo khoa học quốc tế (có chỉ số ISBN)

Loại công bố: Báo cáo khoa học đăng trên các kỷ yếu khoa học tại Hội nghị/Hội thảo khoa học quốc tế (có chỉ số ISBN)
Tên công bố: Trigger2B: A Tool Generating Event-B Models from Database Triggers
Nơi công bố: —
Tên tạp chí: ICCASA 2020
Nhà xuất bản: —
Thời gian: 2021-01-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ả: —
Danh sách tác giả: Lê Hồng Anh
Thuộc HĐ giáo sư: —
Đường dẫn: —
Tệp đính kèm: —