Tóm tắt luận án tiến sĩ của NCS Trần Hoàng Việt
Tên đề tài luận án: Kiểm chứng dựa trên phương pháp giả định – đảm bảo cho phần mềm dựa trên thành phần
Họ và tên: Trần Hồng Việt Giới tính: Nam
Ngày sinh: 15/05/1982 Nơi sinh: Vĩnh Phúc
Quyết định công nhận NCS số 640/QĐ-CTSV ngày 03/09/2015 của Hiệu trưởng Trường Đại học Công nghệ.
Chuyên ngành đào tạo: Kỹ thuật phần mềm Mã số: 9480103.01
Tên đề tài luận án: Kiểm chứng dựa trên phương pháp giả định – đảm bảo cho phần mềm dựa trên thành phần
Cán bộ hướng dẫn chính: PGS.TS. Phạm Ngọc Hùng, Trường Đại học Công nghệ
Cán bộ hướng dẫn phụ: TS. Võ Đình Hiếu, Trường Đại học Công nghệ
