Automated analysis of Stateflow models

Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux
January 2017
PDF
Type
Conference paper
Publication
LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017
own
Avatar
Hamza Bourbouh
PhD student (2017-)

Related