prikaz prve stranice dokumenta Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin
Rad nije dostupan
diplomski rad
Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin

Futivić, Ivan
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Citirajte ovaj rad

Futivić, I. (2024). Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:404428

Futivić, Ivan. "Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2024. https://urn.nsk.hr/urn:nbn:hr:168:404428

Futivić, Ivan. "Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2024. https://urn.nsk.hr/urn:nbn:hr:168:404428

Futivić, I. (2024). 'Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin', Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 24.10.2024., https://urn.nsk.hr/urn:nbn:hr:168:404428

Futivić I. Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2024 [pristupljeno 24.10.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:404428

I. Futivić, "Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin", Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2024. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:404428

Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.