Výpis publikací

2008

1. ProbDiVinE-MC (software)

   BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE-MC. 2008.

   URL

   Název česky: ProbDiVinE-MC
   Název anglicky: ProbDiVinE-MC
   RIV/00216224:14330/08:00024418 Software. Informatika. angličtina. Česká republika.
   Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Češka, Milan (203 Česká republika) -- Tůmová, Jana (203 Česká republika)
   Klíčová slova anglicky: quantitative parallel verification; multi-core architecture; model-checking
   Mezinárodní význam: ano
   Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 23:17.

   Podrobněji: https://is.muni.cz/publication/813851/cs