Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

formal specification

Klíčová slova abecedně | Klíčová slova dle četnosti

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 | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

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 / | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

Graphical Specification of Concurrent Systems
 (David Šafránek)

2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/kvgna/ | Informatika / | Práce na příbuzné téma