Přejít k obsahu

Využití metodiky Model checking pro testování systémů I&C v jaderné energetice

Kód projektu: TK01020068
Poskytovatel: Technologická agentura České Republiky
Doba trvání: 01.07.2018 - 31.12.2021
Hlavní řešitel:

Klíčová slova

Energetika, Verifikace a validace, Systémy kontrol a řízení (I&C), Model checking, tester

Zpět na seznam projektů

Patička