Phương pháp mô hình hóa hình thức

Luận văn thạc sĩ vnu uet 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ĩ VNU UET 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 hiệu quả cho phát triển phần mềm.