Práce na stejné téma (mají shodná klíčová slova):
biological modelKlíčová slova abecedně | Klíčová slova dle četnosti
EXPERIMENTAL TRICHOPHYTOSIS IN CATTLE AND ITS IMMUNOPROPHYLAXIS USING SPECIFIC VACCINES: An appropriate biological model for the study of interaction between the immune system of the host and the pathogenic dermatophyte
(Eva Obořilová)2008, Disertační práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/dorwm/ | Biologie (čtyřleté) / Fyziologie živočichů | Práce na příbuzné téma
Výukový model pro měření biologických signálů realizovaný pro PLC zařízení
(Ivana Košťálová)2015, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/110831 | Elektrotechnika / Biomedicínský technik | Práce na příbuzné téma
Generalized asynchronous semantics for Boolean networks
(Šimon Ondrejka)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zd84e/ | Informatika / | Práce na příbuzné téma
Construction of Algebraic Abstractions for Systems Biology
(Jana Fabriková)2012, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/oczsw/ | Informatika / | Práce na příbuzné téma
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
(Jan Mačák)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k7ygm/ | Teoretická informatika / Principy programovacích jazyků | Práce na příbuzné téma
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
(Martin Demko)2019, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p96um/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Práce na příbuzné téma
Symbolic Model Checking of Hybrid CTL
(Ondřej Huvar)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zrf3h/ | Informatika / | Práce na příbuzné téma
Automating Software Development with Explicit Model Checking
(Petr Bauch)2015, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o3wbz/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Práce na příbuzné téma
Refined Büchi automata for faster model checking
(Vojtěch Rujbr)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nanqw/ | Aplikovaná informatika / | Práce na příbuzné téma
Craig's Interpolant in Model Checking Algorithms
(Viktória Vozárová)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mdjz8/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma