Informace o projektu
Paralelní ověřování LTL vlastností zapouzdřených systémů pracujících v reálném čase

Kód projektu
1PO5ME747
Období řešení
1/2005 - 5/2005
Investor / Programový rámec / typ projektu
Ministerstvo školství, mládeže a tělovýchovy ČR
Fakulta / Pracoviště MU
Fakulta informatiky
Spolupracující organizace
Brigham Young University

Cílem projektu je podpořit a rozšířit vzájemnou spolupráci mezi Laboratoří paralelních a distribuovaných systémů na FI MU v Brně a výzkumným týmem na Department of Computer Science, Brigham Young University, USA v oblasti výzkumu a vývoje paralelních technik pro verifikaci zapouzdřených systémů pracujících v reálném čase. Jedním z hlavních zdrojů spolupráce je vytvoření podmínek pro intenzivní a bezprostřední vědecké kontakty při práci na tématice a využívání výzkumné infrastruktury zúčastněných partnerů.

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

Další info