Distributed Analysis of Large Systems

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 Distribuovaná analýza rozsáhlých systémů
Autoři

BARNAT Jiří BRIM Luboš ČERNÁ Ivana

Rok publikování 2005
Druh Článek ve sborníku
Konference Formal Methods for Components and Objects
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova distributed LTL model checking
Popis Tutorial poskytující přehled technik a přístupů používaných v explicitním ověřování lineárních temporálních vlstností.
Související projekty:

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