Zde se nacházíte:
Projekty
-
Modelování, analýza a verifikace (2026) (MUNI/A/1784/2025)
Řešitel na MU: doc. RNDr. David Svoboda, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2026 — 12/2026Investor/Program: Masarykova univerzita / Specifický výzkum - podpora studentských projektů -
Modelování, analýza a verifikace (2025) (MUNI/A/1600/2024)
Řešitel na MU: doc. RNDr. David Svoboda, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2025 — 12/2025Investor/Program: Masarykova univerzita / Specifický výzkum - podpora studentských projektů