Fakulta informačních technologií VUT v Brně

Ing.

Marta Vojnarová


pisarska@fit.vut.cz
Pracovna A220

Projekty

  • 2017

    AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 8A17001, 737475, 2017-2020, řešení, zahájení: 2017-05-01, ukončení: 2020-04-30
    Detail

    ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, řešení, zahájení: 2017-01-01, ukončení: 2019-12-31
    Detail

  • 2014

    Automatizovaná 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, zahájení: 2014-01-01, ukončení: 2016-12-31
    Detail

  • 2012

    VUT 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, zahájení: 2012-01-01, ukončení: 2015-06-30
    Detail

Nahoru