B 2002

PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.

BRIM, Luboš a Orna GRUMBERG

Základní údaje

Originální název

PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.

Autoři

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

Vydání

Nizozemsko, 165 s. ENTCS, Vol. 68, No. 4, 2002

Nakladatel

Elsevier

Další údaje

Jazyk

angličtina

Typ výsledku

Odborná kniha

Obor

20206 Computer hardware and architecture

Stát vydavatele

Nizozemské království

Utajení

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

Kód RIV

RIV/00216224:14330/02:00006419

Organizační jednotka

Fakulta informatiky

ISBN

0444512918

Klíčová slova anglicky

model checking; parallel 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 1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002) held in Brno, Czech Republic, August 19, 2002.

Návaznosti

GA201/00/1023, projekt VaV
Název: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Investor: Grantová agentura ČR, Algoritmy a nástroje pro praktickou verifikaci souběžný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ů