Passer à la navigation principale
Passer à la recherche
Passer au contenu principal
Trier par
INIS
computer codes
100%
environment
50%
adaptive systems
50%
modeling
30%
design
25%
algorithms
25%
failures
25%
constraints
25%
cost
25%
dynamics
25%
verification
11%
mathematical models
5%
solutions
5%
range
5%
tools
5%
Keyphrases
Environment-Adaptive Software
50%
Verifier
50%
Adaptive Systems
25%
Dynamic Features
12%
Failure Mode
12%
Highly Dynamic
12%
Exponential Blow up
7%
Model Checking Techniques
7%
Efficient Software
7%
Computer Science
Software Product Line
50%
Reconfiguration
50%
Common Behavior
7%
Model Checking Problem
7%
Software Product
7%
Model Checking
7%
Checking Technique
7%
Transition System
7%
Formal Verification
7%