Title of article
Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance
Author/Authors
Sandeep S. Kulkarni Ali Ebnenasir ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
15
From page
201
To page
215
Keywords
fault-tolerance , automatic addition of fault-tolerance , Program synthesis , formal methods , Distributed programs
Journal title
I E E E Transactions on Dependable and Secure Computing
Serial Year
2005
Journal title
I E E E Transactions on Dependable and Secure Computing
Record number
289459
Link To Document