Práce na stejné téma (mají shodná klíčová slova):
static analysisKlíčová slova abecedně | Klíčová slova dle četnosti
Security Analysis of Oracle Vulnerabilities in Ethereum Smart Contracts
(Ondřej Tatýrek)2024, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hqgjk/ | Kyberbezpečnost / | Práce na příbuzné téma
Dialect-Based Points-to Analysis for MLIR
(Robert Konicar)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hye23/ | Teoretická informatika / Formální analýza počítačových systémů | Práce na příbuzné téma
Security Analysis of an Existing Web Application
(Radovan Hančuľák)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/gb3ea/ | Informatika / | Práce na příbuzné téma
Analysis and Extension of the Ruff Linter
(Tomáš Brtník)2024, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/sj775/ | Informatika / | Práce na příbuzné téma
Analysis of the Bitbox02 crypto-wallet source code
(Daniel Krejska)2025, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/y6e1c/ | Kyberbezpečnost / | Práce na příbuzné téma
Integration of Static Code Analysis into Issue Tracking System
(Markéta Jančová)2018, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//ytevod// | Informační technologie / | Práce na příbuzné téma
String Analysis for Software Verification
(Martina Olliaro)2021, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ymhh2/ | Computer Science / Fundamentals of Computer Science | Práce na příbuzné téma
Static Analyser for BeakerLib Tests
(Zuzana Baranová)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n6e2y/ | Aplikovaná informatika / | Práce na příbuzné téma
Formal Analysis of Rule-Based Models in Systems Biology
(Matej Troják)2019, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/lc8hj/ | Umělá inteligence a zpracování dat / | Práce na příbuzné téma
Analysis of Aeronautical Composite Structures under Static Loading
(Jakub Cejpek)2017, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//76b57n// | Stroje a zařízení / | Práce na příbuzné téma