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.

Chủ Nhật, 16:42 01/12/2024

Tags: OER Thư viện ĐH Công nghiệp Hà Nội Tài nguyên giáo dục mở Công nghệ thông tin Software Reliability Phần mềm

» Self-Assembled Molecules – New Kind of Protein Ligands: Supramolecular Ligands (02/12/2024)

» Magnetic Nanostructures (02/12/2024)

» Shipping and Globalization in the Post-War Era: Contexts, Companies, Connections (02/12/2024)

» Paper Stories – Paper and Book History in Early Modern Europe (02/12/2024)

» European Planning History in the 20th Century: A Continent of Urban Planning (02/12/2024)

» Simulation and Modelling of Electrical Insulation Weaknesses in Electrical Equipment (01/12/2024)

» Electric Grid Modernization (01/12/2024)

» Principles of Accounting, Volume 1: Financial Accounting (01/12/2024)

» E-Cigarettes and the Comparative Politics of Harm Reduction: History, Evidence, and Policy (01/12/2024)

» Building Industries at Sea - ‘Blue Growth’ and the New Maritime Economy (01/12/2024)

GIỚI THIỆU SÁCH

Các bài đã đăng

Tin tiêu điểm

Các bài đã đăng

Tags