Luận án tiến sĩ Đại học Yale
Một số cải tiến phương pháp kiểm chứng giả định đảm bảo cho phần mềm dựa trên thành phần
Luận án tiến sĩ Đại học Yale về cải tiến phương pháp kiểm chứng giả định đảm bảo cho phần mềm dựa trên thành phần. Tối ưu hóa quy trình, nâng cao độ tin cậy.
Luận án tiến sĩ Đại học Yale về cải tiến phương pháp kiểm chứng giả định đảm bảo cho phần mềm dựa trên thành phần. Tối ưu hóa quy trình, nâng cao độ tin cậy.
Ngày đăng: 15/05/2025
Danh mục:
157
0
0