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.

Xem thêm

Probability, Reliability, and Statistical Methods in Engineering Design

Text for a one-term course on Probability and Statistics intended primarily for civil engineering majors. Most often taught out of the Civil Engineering Department. Covers the key concepts and statistical techniques for assessing the reliability of structures and the risk factors in their design.

Xem thêm

Hydrosystems Engineering Reliability Assessment and Risk Analysis

Provides technical knowledge of water systems applications with reliable analysis of water, hydrology, water resources, environment and related issues of water quality management. Basic principles of probability and statistics for analysis, frequency analysis of water, ..

Xem thêm