Title of article :
A novel approach for component-based fault-tolerant software development
Author/Authors :
Purnendu Sinha، نويسنده , , Anil Hanumantharya، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2005
Keywords :
Compositional verification , Category theory , Fault-tolerant software , Component-based design
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology
