Počet záznamov: 1  

Localize faults from alias-free programs using verification based model

  1. NázovLocalize faults from alias-free programs using verification based model
    Aut.údajeSafeeullah Soomro, Syed Asif Ali Shah, Wajiha Shah
    Autor Soomro Safeeullah (34%)
    Spoluautori Shah Seyed Asif Ali (33%)
    Shah Wajiha (33%)
    Zdroj.dok.ASC 2008 : 12th IASTED International Conference on Artificial Intelligence and Soft Computing, Palma de Mallorca, 1.-3.9.2008. S. 208-213. - Calgary : ACTA Press, 2008
    Kľúč.slová model-based software debugging   fix-point computation   fault localization  
    Jazyk dok.angličtina
    KrajinaKanada
    Kategória publikačnej činnosti AFC
    Číslo archívnej kópie31783
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxpca - PUBLIKAČNÁ ČINNOSŤ
    nerozpoznaný

    nerozpoznaný

Počet záznamov: 1  

  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.