Games and Scenarios for Real-Time System Validation

Computer Science

• Real Time Systems 100%
• Partial Observability 100%
• Reactive System 50%
• Timed Automaton 50%
• Conformance Testing 50%
• Software Systems 50%
• Embedded Software 50%
• Model Checking Problem 50%
• Timing Constraint 50%
• Consistency Property 50%
• model checker 50%
• consistency checking 50%
• Case Study 50%
• Winning Strategy 50%
• Complex Process 50%
• System Analysis 50%
• Theoretic Approach 50%

Engineering

• Observability 100%
• Early Stage 50%
• Reactive System 50%
• Process Behavior 50%
• Conformance 50%
• Complex Process 50%
• Real-Time Model 50%
• Propose Method 50%
• Early System 50%
• Imperfect Information 50%
• Systems Analysis 50%
• Black Box 50%
• Software Systems 50%

Keyphrases

• Scenario Games 20%
• Game Solutions 20%
• Property Verification 20%
• Real-time Embedded Software 20%