ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "RAM"
RAM
Publikace
Předměty
Osoby
Publikace
Studium
Model checking specifikací chování komponent: praktická zkušenost
Publikace na Matematicko-fyzikální fakulta
|
2006
3 osoby
Abstrakt
Model checking specifikací chování komponent: praktická zkušenost
Klíčová slova
Model
Checking
Component
Behavior
Specification
Experience
Osoby
person
Mgr. Pavel Ježek Ph.D.
Matematicko-fyzikální fakulta
person
doc. RNDr. Jan Kofroň Ph.D.
Matematicko-fyzikální fakulta
person
prof. Ing. František Plášil DrSc.
Matematicko-fyzikální fakulta