C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Debugging of Behavioural Models using Counterexample Analysis.
Gianluca Barbon
Vincent Leroy
Gwen Salaün
Published in:
IEEE Trans. Software Eng. (2021)
Keyphrases
</>
data analysis
statistical analysis
empirical data
experimental data
statistical models
real time
data mining
social networks
decision trees
three dimensional
image analysis
computational models
classification models
model validation