Author:
Zhao Hengjun,Yang Mengfei,Zhan Naijun,Gu Bin,Zou Liang,Chen Yao
Publisher
Springer International Publishing
Reference16 articles.
1. Anta, A., Majumdar, R., Saha, I., Tabuada, P.: Automatic verification of control system implementations. In: EMSOFT 2010, pp. 9–18. ACM, New York (2010)
2. Lecture Notes in Computer Science;O. Bouissou,2009
3. Lecture Notes in Computer Science;X. Chen,2013
4. Lecture Notes in Computer Science;P. Cousot,2005
5. Eggers, A., Ramdani, N., Nedialkov, N., Fränzle, M.: Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. In: Software & Systems Modeling, pp. 1–28 (2012)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献