• Title of article

    A novel approach for component-based fault-tolerant software development

  • Author/Authors

    Purnendu Sinha، نويسنده , , Anil Hanumantharya، نويسنده ,

  • Issue Information
    ماهنامه با شماره پیاپی سال 2005
  • Pages
    18
  • From page
    365
  • To page
    382
  • Keywords
    Compositional verification , Category theory , Fault-tolerant software , Component-based design
  • Journal title
    Information and Software Technology
  • Serial Year
    2005
  • Journal title
    Information and Software Technology
  • Record number

    135122

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=135122