Specification and analysis of distributed object-based stochastic hybrid systems

Keyphrases

• Object-based 100%
• Stochastic Hybrid Systems 100%
• Distributed Objects 100%
• Mathematical Model 20%
• System Transition 20%
• Specification Language 20%
• System Specification 20%
• Probabilistic Temporal Logic 20%
• Statistical Model Checking 20%
• Rewrite Rules 20%
• Formal Object 20%
• Temporal Logic Properties 20%

Computer Science

• Distributed Object 100%
• Transition System 50%
• Temporal Logic 50%
• System Specification 50%
• Specification Language 50%
• Rewrite Rule 50%
• Statistical Model 50%