Počet záznamov: 1
Verification based model localizes faults from procedural programs
Názov Verification based model localizes faults from procedural programs Aut.údaje Safeeullah Soomro Autor Soomro Safeeullah (100%)
Zdroj.dok. Frontiers in robotics, automation and control. S. 55-70. - Vukovar : InTech, 2008 Kľúč.slová software verification model-based software debugging model-based diagnosis Heslá geogr. 3 004 Jazyk dok. angličtina Krajina Chorvátsko Systematika 004 Kategória publikačnej činnosti AEC Číslo archívnej kópie 31759 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ nerozpoznaný
Počet záznamov: 1