Title of article
The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance
Author/Authors
Sandeep S. Kulkarni Ali Ebnenasir ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
8
From page
348
To page
355
Keywords
safetyspecification , formal methods , program synthesis. , fault-tolerance , automatic addition of fault tolerance
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
289471
Link To Document