Computer Science
Intensive System
100%
Booleans
100%
Transition System
100%
Adaptive Software
100%
Reconfiguration
100%
Models
100%
Software Product Line
100%
Behavioral Analysis
100%
Validation
75%
Adaptive System
66%
Algorithms
50%
modeling language
50%
Quality Assurance Technique
41%
Algorithm Design
33%
Application
25%
Research Direction
25%
Feature Interaction
25%
Transitions
25%
Software
25%
User
25%
Classes
25%
Real World
25%
Model Checking
25%
Reasoning
25%
model checker
25%
Numeric Attribute
20%
Processing Unit
20%
Technology Driven
16%
Assurance Scenario
16%
Unified Framework
16%
Variability Model
16%
Vending Machine
16%
Common Behavior
14%
Model Checking Problem
14%