Modelování prostředí pro model checking komponent z hierarchických architektur

Abstrakt

Modelování prostředí pro model checking komponent z hierarchických architektur

Klíčová slova

• Modeling
• Environment
• Component
• Model
• Checking
• Hierarchical
• Architecture