A Model for Industrial Real-Time Systems

Keyphrases

• Reduction Method 100%
• State-space Reduction 100%
• Reusable Design 50%
• Time-critical Systems 50%
• Control Process 50%
• Compositional Reasoning 50%
• Dynamic Networks 50%
• Compositional Modeling 50%
• Model Dynamics 50%
• Reachability Properties 50%
• Industrial Systems 50%

Computer Science

• Dynamic Network 33%
• Critical System 33%
• Industrial System 33%
• Essential Feature 33%