Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Cuốn sách này đã phát triển một phương pháp tiếp cận tự động để đánh giá độ tin cậy của phần mềm, vừa có lý thuyết vững chắc vừa có thực tiễn. Phương pháp tiếp cận được phát triển mở rộng và kết hợp các phương pháp tiếp cận có lý thuyết vững chắc theo một cách mới lạ để giảm thiểu chi phí đánh giá độ tin cậy một cách có hệ thống.
Chủ Nhật, 16:42 01/12/2024
Hướng dẫn khai thác và sử dụng Thư viện Đại học Công nghiệp Hà Nội năm 2024
Thứ Ba, 14:33 17/09/2024PGS.TS Nguyễn Thị Hồng Nga, Giám đốc - Trung tâm Đào tạo Sau đại học trao tặng 02 đầu sách ngoại văn cho Trung tâm Thông tin - Thư viện
Thứ Sáu, 07:37 24/05/2024Truy cập hàng triệu sách điện tử miễn phí với The Online Books Page
Thứ Hai, 08:38 22/01/2024
Cell Interaction: Molecular and Immunological Basis for Disease Management
Thứ Bảy, 09:09 24/01/2026
Simulation and Modelling of Electrical Insulation Weaknesses in Electrical Equipment
Chủ Nhật, 14:54 01/12/2024
E-Cigarettes and the Comparative Politics of Harm Reduction: History, Evidence, and Policy
Chủ Nhật, 13:39 01/12/2024
Building Industries at Sea - ‘Blue Growth’ and the New Maritime Economy
Chủ Nhật, 13:38 01/12/2024Copyright © 2018 Hanoi University of Industry.
