Automated analysis of Stateflow models.

Hamza Bourbouh Pierre-Loïc Garoche Christophe Garion Arie Gurfinkel Temesghen Kahsai Xavier Thirioux

Published in: LPAR (2017)

Keyphrases

automated analysis
probabilistic model
biomedical imaging
machine learning
data management
multimedia
image analysis
automated detection