Formal Reliability Analysis Using Theorem Proving

[摘要]：Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety and mission critical domains, such as medicine, military, and transportation.

[全文传递流程]：

一般上传文献全文的时限在1个工作日内