B 2003

PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.

BRIM, Luboš a Orna GRUMBERG

Základní údaje

Originální název

PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.

Autoři

BRIM, Luboš (203 Česká republika, garant) a Orna GRUMBERG (376 Izrael)

Vydání

Nizozemsko, 130 s. ENTCS, Vol. 89, No. 1, 2003

Nakladatel

Elsevier

Další údaje

Jazyk

angličtina

Typ výsledku

Odborná kniha

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/03:00008595

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

model checking; parallel computing; distributed computing

Štítky

Příznaky

Mezinárodní význam
Změněno: 22. 11. 2006 08:32, prof. RNDr. Luboš Brim, CSc.

Anotace

V originále

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking (PDMC 2003) held in Boulder, Colorado, USA, Juy 14, 2003.

Návaznosti

GA201/03/0509, projekt VaV
Název: Automatizovaná verifikace paralelních a distribuovaných systémů
Investor: Grantová agentura ČR, Automatizovaná verifikace paralelních a distribuovaných systémů
MSM 143300001, záměr
Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů