BRIM, Luboš a Orna GRUMBERG. PDMC 2003 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier. 130 s. ENTCS, Vol. 89, No. 1. 2003.
Další formáty:   BibTeX LaTeX RIS
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
Originální 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 distributed computing, 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 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 VaVNá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ě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: 19. 4. 2024 03:49