Kiểm chứng hình thức bằng phương pháp Event-B

Luận văn thạc sĩ vnu uet methods for modeling and verifying event driven systems phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện

Luận văn thạc sĩ VNU UET trình bày các phương pháp mô hình hóa và kiểm chứng hệ thống hướng sự kiện, mang lại giải pháp hiệu quả cho nghiên cứu.