Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization.

Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun

Browse the full SETTA paper archive.