Author:
Gupta Vineet,Jagadeesan Radha,Saraswat Vijay
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
2. Rajeev Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. In Proceedings of the 14th Annual IEEE Real-time Systems Symposium. IEEE, 1993.
3. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.
4. A. Benveniste, M. Le Borgne, and Paul Le Guernic. Hybrid Systems: The SIGNAL approach. Number 736 in LNCS. Springer Verlag, 1993.
5. G. Berry. Real-time programming: General purpose or special-purpose languages. In G. Ritter, editor, Information Processing 89, pages 11–17. Elsevier Science Publishers B.V. (North Holland), 1989.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献