J 2006

Special Issue on Parallel and Distributed Verification - Foreword

BRIM, Luboš a Martin LEUCKER

Základní údaje

Originální název

Special Issue on Parallel and Distributed Verification - Foreword

Název česky

Specialni cislo o paralelni a distribuovane verifikaci - uvod

Autoři

BRIM, Luboš a Martin LEUCKER

Vydání

Formal Methods in System Design, Springer Netherlands, 2006, 0925-9856

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

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í

Impakt faktor

Impact factor: 0.900

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

Distributed Verification

Štítky

Příznaky

Mezinárodní význam
Změněno: 2. 6. 2010 15:37, prof. RNDr. Luboš Brim, CSc.

Anotace

ORIG CZ

V originále

Foreword

Česky

Uvod

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ů
GD102/05/H050, projekt VaV
Název: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
Investor: Grantová agentura ČR, Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1ET408050503, projekt VaV
Název: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky