Modeling Environment for Component Model Checking from Hierarchical Architecture

Abstract

Modeling Environment for Component Model Checking from Hierarchical Architecture

Keywords

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