Skip to main navigation
Skip to search
Skip to main content
Sort by
INIS
computer codes
100%
algorithms
34%
verification
33%
environment
30%
psychological behavior
27%
modeling
25%
validation
23%
adaptive systems
23%
quality assurance
15%
tools
14%
design
11%
failures
11%
cost
11%
constraints
11%
dynamics
11%
reduction
7%
applications
7%
interactions
7%
compacts
7%
explosions
7%
range
7%
levels
5%
plugs
5%
engineers
5%
efficiency
5%
architecture
5%
Keyphrases
Behavior Analysis
23%
Boolean Product
23%
Feature Attribute
23%
Multi-feature
23%
Verifier
23%
Adaptive Software
23%
Reconfiguration
23%
Featured Transition Systems
23%
Quality Assurance
11%
Adaptive Systems
11%
Boolean Features
9%
Non-Boolean
9%
Black Box
5%
Easy to Learn
5%
Validation Algorithm
5%
Verification Algorithm
5%
System Verification
5%
Line Quality
5%
Heterogeneous Types
5%
Extensible Architecture
5%
Modeling Verification
5%
Compact Model
5%
Algorithm Design
5%
High Cost
5%
Resilience
5%
Dynamic Features
5%
Modeling Language
5%
Failure Mode
5%
Highly Dynamic
5%
Computer Science
Transition System
49%
Software Product Line
46%
Model Checking
32%
Intensive System
23%
Behavioral Analysis
23%
Reconfiguration
23%
Adaptive Software
23%
modeling language
19%
Adaptive System
15%
Quality Assurance
7%
Algorithm Design
7%
Quality Assurance Technique
5%
Research Direction
5%
Feature Interaction
5%
model checker
5%