In essencesoftware fault-tree analy

In essence
software fault-tree analysis is a modified form of wp-calculus, but focusing on
causes of HFCs or violations of DSRs, not establishing partial correctness.

ผลลัพธ์ (ไทย) 1:

ในสาระสำคัญซอฟต์แวร์ต้นข้อบกพร่องจะแก้ไขรูปแบบของ wp-แคลคูลัส แต่โฟกัสบนสาเหตุของฟรุกหรือละเมิด DSRs ไม่สร้างถูกต้องบางส่วน

ผลลัพธ์ (ไทย) 2:

ในสาระสำคัญ
ซอฟต์แวร์การวิเคราะห์ความผิดต้นไม้เป็นรูปแบบการแก้ไขของ WP-แคลคูลัส แต่มุ่งเน้นไปที่
สาเหตุของ HFCs หรือการละเมิดของ DSRs ไม่สร้างความถูกต้องบางส่วน

ผลลัพธ์ (ไทย) 3:

ในสาระการวิเคราะห์ต้นไม้แห่งความล้มเหลวซอฟต์แวร์เป็นการดัดแปลงรูปแบบของ WP แคลคูลัส แต่เน้นสาเหตุของ HFCS หรือการละเมิดของ dsrs ไม่ใช่การสร้างความถูกต้องบางส่วน