1 - 2 / 2 1 |
1. Algoritem za izračun lambda izrazov na FPGA vezju Lovro Habjan, 2020, diplomsko delo Ključne besede: lambda račun, funkcijsko programiranje, končni avtomat, FPGA |
2. Navidezni stroj s sledenjem pretoku informacij z označevanjem Lovro Habjan, 2022, magistrsko delo Ključne besede: označevanje, navidezni stroj, pretok informacij, varnostna politika, računalniška varnost |