![](/img/cover-not-exists.png)
[ACM Press the 31st IEEE/ACM International Conference - Singapore, Singapore (2016.09.03-2016.09.07)] Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016 - Verifying simulink stateflow model: timed automata approach
Yang, Yixiao, Jiang, Yu, Gu, Ming, Sun, JiaguangYear:
2016
Language:
english
DOI:
10.1145/2970276.2970293
File:
PDF, 722 KB
english, 2016