Author:
Zhu Longfei,Zhao Yongxin,Zhu Huibiao,Xu Qiwen
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Jifeng, H.: A classical mind, pp. 171–189. Prentice Hall International (UK) Ltd., Hertfordshire (1994)
2. Henzinger, T.A.: The theory of hybrid automata. In: LICS, pp. 278–292. IEEE Computer Society (1996)
3. Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid i/o automata. Inf. Comput. 185(1), 105–157 (2003)
4. Benveniste, A., Bourke, T., Caillaud, B., Pouzet, M.: A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. In: Chakraborty, S., Jerraya, A., Baruah, S.K., Fischmeister, S. (eds.) EMSOFT, pp. 137–148. ACM (2011)
5. Bauer, K., Schneider, K.: From synchronous programs to symbolic representations of hybrid systems. In: Johansson, K.H., Yi, W. (eds.) HSCC, pp. 41–50. ACM (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献