560 KB0 KB197720262021Bitat, AbirMerniz, Salahštevilka:4letnik:45str. 583-591ISSN:0350-5596ISSN:1854-3871COBISSID_HOST:96866819URN:URN:NBN:SI:doc-3QOBEKCDenSlovensko društvo InformatikaInformatica (Ljubljana)algoritmidigitalna vezjakriptografijapravilnost delovanjaračunalniška varnostračunalništvostrojno-opisni jezikFormal verification of pipelined cryptographic circuits| a functional approach|Revija Informatica je mednarodni časopis za računalništvo in informatiko, izhaja četrtletno in je glasilo, ki interdisciplinarno povezuje raznovrstna področja informatike. Revija izhaja od leta 1977 in jo izdaja Slovensko društvo InformatikaTEXTznanstveno časopisjejournalsSlovenian National E-content AggregatorNational and University Library of SloveniaSlovensko društvo Informatika