BRIM, Luboš a Orna GRUMBERG. Introductory paper: Parallel and Distributed Model Checking. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, 2005, roč. 7, č. 1, s. 1-3. ISSN 1433-2779.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Introductory paper: Parallel and Distributed Model Checking
Název česky Úvodní článek: Paralelní a distribuované ověřování modelu
Autoři BRIM, Luboš (203 Česko, garant) a Orna GRUMBERG (376 Izrael).
Vydání International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, 2005, 1433-2779.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/05:00012428
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky model-checking
Štítky Model-Checking
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
This special section is devoted to a selection of contributions originally presented at the 1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002), which took place in Brno, Czech Republic in September 2002 as a satellite event of the 13th conference on concurrency theory (CONCUR 2002). A short introduction to parallel and distributed model checking is presented.
Anotace česky
Speciální číslo věnované vybraným příspěvkům z mezinárodního workshopu PDMC 2002. Článek podává stručný úvod do problematiky.
Návaznosti
GA201/03/0509, projekt VaVNázev: Automatizovaná verifikace paralelních a distribuovaných systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumná centra (Národní program výzkumu)
VytisknoutZobrazeno: 3. 7. 2020 16:52