RIV/00216224:14330/21:00119996 Software. angličtina. Česká republika.
Ročkai, Petr (703 Slovensko, garant, domácí) -- Lauko, Henrich (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Baranová, Zuzana (703 Slovensko) -- Korenčik, Lukáš (703 Slovensko) -- Matoušek, Adam (203 Česká republika) -- Barnat, Jiří (203 Česká republika) -- Šárník, Jakub (203 Česká republika) -- Mrázek, Jan (203 Česká republika) -- Kejstová, Katarína (703 Slovensko) -- Kučera, Tadeáš (203 Česká republika)
Klíčová slova anglicky: model checking; correctness; analysis; concurrency; symbolic
Mezinárodní význam: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 11. 2023 10:42.