Informace o projektu

Automatizovaná verifikace paralelních a distribuovaných systémů

Kód projektu
GA201/03/0509
Období řešení
1/2003 - 12/2005
Investor/Program
Grantová agentura ČR
Programový rámec / typ projektu
Standardní projekty
Fakulta/Pracoviště MU
Fakulta informatiky
Klíčová slova
verification, model-checking, equivalence-checking, concurrent systems

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info