Please use this identifier to cite or link to this item:
http://thuvienso.quochoi.vn/handle/11742/79744
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Nguyễn Trường Thắng | - |
dc.contributor.advisor | Đặng Văn ĐỨc | - |
dc.contributor.author | Tô Hữu Nguyên | |
dc.date.issued | 2020-11-27 | |
dc.date.submitted | 2020-12-04 | |
dc.identifier.other | 36491 | |
dc.identifier.uri | https://hdl.handle.net/11742/79744 | - |
dc.description.abstract | Luận án xây dựng mô hình hóa ràng buộc trên kiểu dữ liệu xâu và ràng buộc hỗn hợp, cải tiến khả năng giải ràng buộc trong phương pháp thực thi biểu trưng. Cài đặt kỹ thuật mô hình hóa và giải ràng buộc dựa trên Otomat và Bitvector trong giải ràng buộc xâu, đánh giá so sánh các kết quả thu được với các các kết quả đã công bố. | - |
dc.format.extent | 88 tr. | |
dc.language.iso | vi | |
dc.rights | Viện Hàn lâm Khoa học và Công nghệ Việt Nam | |
dc.subject | Cải tiến | - |
dc.subject | Ràng buộc xâu | - |
dc.subject | Sinh dữ liệu kiểm thử tự động | - |
dc.title | Một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng. | |
dc.type | Luận án, luận văn | |
dc.coverage | Thư viện Quốc hội | |
dc.source.method | luanvan.moet.edu.vn | |
Appears in Collections: | Phân quyền - Khoa học |
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

THƯ VIỆN QUỐC HỘI - VĂN PHÒNG QUỐC HỘI
Địa chỉ: Nhà Quốc Hội, Đường Độc Lập, Ba Đình, Hà Nội
Điện thoại: 080.41947
Email: thuvienquochoi@quochoi.vn