Přejít k obsahu

Výzkum metod a nástrojů pro verifikaci odolnosti vestavěných počítačových systémů proti poruchám

Kód projektu: GA102/03/0672
Poskytovatel: Grantová agentura České republiky
Doba trvání: 01.01.2003 - 31.12.2005
Hlavní řešitel:

Klíčová slova

embedded system, fault tolerance, verification, real-time control

Zpět na seznam projektů

Patička