Automated analysis of Stateflow models

Hamza Bourbouh, Pierre-Loic Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux
January 2017
PDF Cite
Type
Conference paper
Publication
LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017
"own"
Hamza Bourbouh
Hamza Bourbouh
Engineer at Google Zurich
Christophe Garion
Christophe Garion
Professor at ISAE-Supaero
Xavier Thirioux
Xavier Thirioux
Professor at ISAE-Supaero

Related