Automated analysis of Stateflow models

Publication
LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017
Avatar
Hamza Bourbouh
PhD student (2017-)

Related