Login / Signup
Complementary Formal Approaches for Dependability Analysis.
Souheib Baarir
Cécile Braunstein
Renaud Clavel
Emmanuelle Encrenaz
Jean-Michel Ilié
Régis Leveugle
Isabelle Mounier
Laurence Pierre
Denis Poitrenaud
Published in:
DFT (2009)
Keyphrases
</>
multimedia
image analysis
formal analysis
automatic analysis
real time
data sets
real world
data mining
artificial intelligence
similarity measure
objective function
data analysis
evolutionary algorithm
quantitative analysis
strengths and weaknesses
alternative approaches