Parallel Model-Checking

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.
Autoři

BRIM Luboš

Rok publikování 2004
Druh Článek v odborném periodiku
Časopis / Zdroj ERCIM News
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://www.ercim.org/publication/Ercim_News/enw58
Obor Informatika
Klíčová slova Model Checking
Popis A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given.
Související projekty:

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