Phương pháp kiểm tra nâng cao

Luận án tiến sĩ enhanced unified modeling language model checking for business software applications

Luận án tiến sĩ nghiên cứu enhanced unified modeling language model checking for business software applications, phân tích chuyên sâu, xây dựng mô hình lý thuyết, đề xuất giải