Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance

Sandeep S. Kulkarni Ali Ebnenasir ، نويسنده ,

روزنامه با شماره پیاپی سال 2005

15

201

215

fault-tolerance , automatic addition of fault-tolerance , Program synthesis , formal methods , Distributed programs

I E E E Transactions on Dependable and Secure Computing

2005

I E E E Transactions on Dependable and Secure Computing

289459