Akademska digitalna zbirka SLovenije - logo
VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Verifikacija končnih avtomatov s simboličnim preverjanjem modelov : magistrsko delo
    Časar, Aleš
    Magistrsko delo predstavlja učinkoviti orodji za obdelavo logičnih funkcij in končnih avtomatov. Učinkovitost algoritmov za iskanje dosegljivih stanj in simbolično preverjanje modelov s CTL lahko ... pripišemo predvsem uporabi ločenih prehajalnih relacij pri preiskovanju prostora stanj in izboljšanemu algoritmu za zamenjavo spremenljivk stanja. Ločevanje prehajalnih relacij je povsem avtomatično. Podani so eksperimentalni rezultati za množico testnih vezij ter analiza časovne in prostorske zahtevnosti programskih paketov.
    Vrsta gradiva - magistrsko delo
    Založništvo in izdelava - Maribor : [A. Časar], 1998
    Jezik - slovenski
    COBISS.SI-ID - 3701014

Knjižnica/institucija Kraj Akronim Za izposojo Druga zaloga
Knjižnica tehniških fakultet, Maribor Maribor KTFMB v čitalnico 1 izv.
loading ...
loading ...
loading ...