Pregled bibliografske jedinice broj: 481163
Smrzavanje i virusi
Smrzavanje i virusi // Zaposlena, 153 (2010), 32-32 (podatak o recenziji nije dostupan, članak, stručni)
CROSBI ID: 481163 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Smrzavanje i virusi
(Computer break out)
Autori
Bagić Babac, Marina
Izvornik
Zaposlena (1330-6642) 153
(2010);
32-32
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, stručni
Ključne riječi
virusi; formalne metode
(viruses; formal methods)
Sažetak
U računalnoj znanosti postoji jedan moćan alat za borbu protiv pogrešaka. Općenito se naziva formalnim metodama.
Izvorni jezik
Hrvatski
Znanstvena područja
Elektrotehnika
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
Profili:
Marina Bagić Babac
(autor)
