Práce na stejné téma (mají shodná klíčová slova):
léčivá bylinaKlíčová slova abecedně | Klíčová slova dle četnosti
Safety Checkers for Termination Proofs
(Jiří Zárevúcky)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/h4iwh/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Verification of Memory Safety with Predator and Symbiotic
(Tomáš Jašek)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/suam0/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Improving thread safety mechanisms in Libvirt
(Kristína Hanicová)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/su67u/ | Informatika / | Práce na příbuzné téma
Deep Risk-Constrained Reinforcement Learning with Safety Critics
(Martin Gendiar)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/pbhey/ | Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence | Práce na příbuzné téma