Distributed Verification: Exploring the Power of Raw Computing Power

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Distribuovana verifikace: Moznosti hrube vypocetni sily
Autoři

BRIM Luboš

Rok publikování 2006
Druh Článek ve sborníku
Konference 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova distributed verification
Popis Prehled vysledku o distribuovane verifikaci.
Související projekty:

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