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
Tân sinh viên quốc tế tham quan, trải nghiệm và tìm hiểu cách khai thác tài nguyên thông tin Thư viện
Thứ Hai, 13:11 07/09/2026
Trao tặng những món quà ý nghĩa tới học sinh có hoàn cảnh khó khăn tại Trường TH&THCS Bắc Phong trước thềm năm học mới
Thứ Năm, 07:53 03/09/2026
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/2024
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.
