The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance

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

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

8

348

355

safetyspecification , formal methods , program synthesis. , fault-tolerance , automatic addition of fault tolerance

I E E E Transactions on Dependable and Secure Computing

2005

I E E E Transactions on Dependable and Secure Computing

289471