p 2008

Verification of Infinite State Probabilistic Systems

KUČERA, Antonín

Základní údaje

Originální název

Verification of Infinite State Probabilistic Systems

Název česky

Verifikace pravděpodobnostních systémů s nekonečně mnoha stavy

Autoři

Vydání

8th School on MOdelling and VErifying of parallel Processes (MOVEP 2008). 2008

Další údaje

Jazyk

angličtina

Typ výsledku

Vyžádané přednášky

Utajení

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

Odkazy

Označené pro přenos do RIV

Ne

Organizační jednotka

Fakulta informatiky

Příznaky

Mezinárodní význam
Změněno: 12. 1. 2009 12:08, prof. RNDr. Antonín Kučera, Ph.D.

Návaznosti

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
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky