Košík

  Odznačiť vybrané:   0

  1.  

    NázovVerification based model localizes faults from procedural programs
    Aut.údajeSafeeullah 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
    KrajinaChorvátsko
    Systematika 004
    Kategória publikačnej činnosti AEC
    Číslo archívnej kópie31759
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxpca - PUBLIKAČNÁ ČINNOSŤ
    nerozpoznaný

    nerozpoznaný

      Z košíka

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

Prijať všetkoNastavenieOdmietnuť všetko