Kiểm tra mô hình phần mềm sử dụng lý thuyết Ôtômat Buchi và Logic thời gian tuyến tín
Báo cáo " Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình " potx
Kiểm chứng mô hình aspect-uml bằng alloy
Tìm hiểu bộ kiểm chứng mô hình Spin
Phân phối chung với các sản phẩm bổ sung-một mô hình phân phối hiệu quả.doc.DOC
PHÂN TÍCH DỮ LIỆU ,KIỂM ĐỊNH MÔ HÌNH TAM-ECAM
Kiểm định mô hình CAPM đối với một số cố phiếu của thị trường chứng khoán việt nam
Tài liệu Báo cáo "Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình " docx