Login / Signup
A New Approach for Early Dependability Evaluation Based on Formal Property Checking and Controlled Mutations.
Régis Leveugle
Published in:
IOLTS (2005)
Keyphrases
</>
search algorithm
complex systems
comparative evaluation
real time
machine learning
objective function
expert systems
evaluation model