ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "modelling"
modelling
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Modelování prostředí pro model checking komponent z hierarchických architektur
Publikace
2 osoby
Abstrakt
Modelování prostředí pro model checking komponent z hierarchických architektur
Klíčová slova
Modeling
Environment
Component
Model
Checking
Hierarchical
Architecture
Osoby
person
prof. Ing. František Plášil DrSc.
Matematicko-fyzikální fakulta
person
doc. RNDr. Pavel Parízek Ph.D.
Matematicko-fyzikální fakulta