ứng dụng Event-B trong phát triển phần mềm

Luận văn thạc sĩ kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa event b

Luận văn thạc sĩ nghiên cứu kiểm chứng giao diện phần mềm qua mô hình hóa event b, mang lại giải pháp tối ưu cho phát triển phần mềm.