2026

PROJEKTY BADAWCZE FINANSOWANE PRZEZ NARODOWE CENTRUM NAUKI

TYTUŁ
Nowe metody automatycznego sprawdzania poprawności otwartych wieloagentowych systemów czasu rzeczywistego.

RODZAJ PROJEKTU
OPUS 29

KWOTA DOTACJI
1 327 800 zł

OKRES REALIZACJI
2026 – 2029

Kierownik zespołu badawczego w UJD: dr hab. Bożena Woźna-Szcześniak, prof. UJD

----------------------------------------------------------------------------