Introductory paper: Parallel and Distributed 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.
Název česky Úvodní článek: Paralelní a distribuované ověřování modelu
Autoři

BRIM Luboš GRUMBERG Orna

Rok publikování 2005
Druh Článek v odborném periodiku
Časopis / Zdroj International Journal on Software Tools for Technology Transfer (STTT)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova model-checking
Popis Speciální číslo věnované vybraným příspěvkům z mezinárodního workshopu PDMC 2002. Článek podává stručný úvod do problematiky.
Související projekty:

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