ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "3D models"
3D models
Publikace
Předměty
Osoby
Publikace
Studium
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