ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "model checking"
model checking
Publikace
Předměty
Osoby
Publikace
Studium
L2 stability for Godunov-like numerical fluxes
Publikace na Matematicko-fyzikální fakulta
|
2023
3 osoby
Osoby
person
doc. RNDr. Václav Kučera Ph.D.
Matematicko-fyzikální fakulta
person
RNDr. Lukáš Vacek
Matematicko-fyzikální fakulta
person
Chi-Wang Shu
Osoba bez příslušnosti k fakultě