kiểm tra mô hình

Luận án tiến sĩ khoa học máy tính áp dụng kiểm tra mô hình và phân tích khái niệm hình thức để phân loại và phát hiện mã độc

Luận án tiến sĩ khoa học máy tính ứng dụng kiểm tra mô hình và phân tích khái niệm hình thức để phân loại và phát hiện mã độc hiệu quả.