BRIM, Luboš a Orna GRUMBERG. PDMC 2002 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2002, 165 s. ENTCS, Vol. 68, No. 4. ISBN 0444512918.
Další formáty:   BibTeX LaTeX RIS
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
Originální 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 Model checking, parallel computing
Příznaky Mezinárodní význam
Změnil Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
Anotace
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 VaVNá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ěrNá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ů
VytisknoutZobrazeno: 28. 4. 2024 19:23