Ing. Marta Vojnarová

Projekty

2017AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 8A17001, 737475, 2017-2020, řešení
Řešitel: Robinson Charles
Spoluřešitelé: Vojnar Tomáš
 ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, řešení
Řešitel: Vojnar Tomáš
Spoluřešitelé: Kofroň Jan
2014Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí, GAČR - Standardní projekty, GA14-11384S, 2014-2016, ukončen
Řešitel: Vojnar Tomáš
Spoluřešitelé: Kofroň Jan
2012VUT Bezpečnost a obrana - Zařízení pro snímání a rozpoznávání oční duhovky a sítnice, MŠMT ČR - Operační program Výzkum a vývoj pro inovace, ED3.1.00/13.0271, 2012-2015, ukončen
Řešitel: Drahanský Martin
Spoluřešitelé: Kolář Radim, Provazník Ivo, Vojnarová Marta

Vaše IPv4 adresa: 18.208.211.150
Přepnout na https

DNSSEC [dnssec]