Porovnanie rôznych prístupov v implementácii metód kontroly toku programu na ich vlastnosti

Enregistré dans:
Détails bibliographiques
Auteur principal: Blanárik, Matej (Auteur)
Autres auteurs: Valiček, Michal (Directeur de thèse)
Format: Manuscrit Livre
Langue:slovaque
anglais
Publié: 2020
Sujets:
Accès en ligne:http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=134719
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

MARC

LEADER 00000ntm a22000003a 4500
001 stuzp80495
003 SK-STU
005 20200620211555.6
007 ta
008 150427s2015----xo-----f-mn---000-0-slo-d
040 |a STU  |b slo 
041 0 |a eng 
100 1 |a Blanárik, Matej  |u 070400  |4 aut  |U FIIT Fakulta informatiky a informačných technológií  |T FIIT Ústav počítačového inžinierstva a aplikovanej informatiky  |X 85777  |U I400  |Y 672  |7 85777 
242 0 1 |a Porovnanie rôznych prístupov v implementácii metód kontroly toku programu na ich vlastnosti  |y slo 
245 1 0 |a Porovnanie rôznych prístupov v implementácii metód kontroly toku programu na ich vlastnosti 
260 |c 2020 
650 4 |a graf toku programu  |2 slo 
650 4 |a kontrola toku programu  |2 slo 
650 4 |a zabezpečenie softvérovým podpisom  |2 slo 
650 4 |a control flow graph  |2 eng 
650 4 |a control flow checking  |2 eng 
650 4 |a control flow checking using software signature  |2 eng 
700 1 |a Valiček, Michal  |u 070400  |k Z3  |4 ths  |U FIIT Fakulta informatiky a informačných technológií  |T FIIT Ústav počítačového inžinierstva a aplikovanej informatiky  |X 56340  |U I400  |Y 672  |7 A000056340 
856 4 |u http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=134719