Mô hình hóa trong kỹ thuật phần mềm

Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án ts máy tính 94801

Luận án tiến sĩ nghiên cứu một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành, phát triển phương pháp mới, đánh giá hiệu quả ứng

Luận văn thạc sĩ vnu uet nghiên cứu về kiểm thử dựa trên mô hình và ứng dụng

Luận văn thạc sĩ VNU UET nghiên cứu kiểm thử dựa trên mô hình và ứng dụng, cung cấp cái nhìn sâu sắc về phương pháp kiểm thử hiện đại.