Theses on the same topic (having an identical keyword):
formal specificationKeywords ordered alphabetically | Keywords ordered by occurrence rate
Formal Biochemical Space for Specification and Analysis of Biochemical Processes
(Matej Troják)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/lgs7n/ | Aplikovaná informatika / Bioinformatika | Theses on a related topic
Formal representation of graphical models of biological systems
(Samuel Kulíšek)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nm01y/ | Aplikovaná informatika / | Theses on a related topic
Specification and monitoring of oscillation properties in dynamical systems
(Petr Dluhoš)2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zsgyq/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Theses on a related topic
Formální popis fosforylačních stavů a souvisejících reakcí
(Matej Troják)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nhf6y/ | Aplikovaná informatika / Bioinformatika | Theses on a related topic
Formální modely oscilací v biologii a jejich analýza
(Jakub Šalagovič)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/g0z0q/ | Aplikovaná informatika / Bioinformatika | Theses on a related topic
Graphical Specification of Concurrent Systems
(David Šafránek)2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/kvgna/ | Informatika / | Theses on a related topic