Author:
Tripakis Stavros,Yovine Sergio
Subject
General Computer Science,Theoretical Computer Science
Reference7 articles.
1. The Esterel synchronous programming language: design, semantics and implementation;Berry;Science of computer programming,1992
2. V. Bertin, M. Poize, J. Pulou, and J. Sifakis. Towards validated real-time software. In Proc. 12th Euromicro Conference on Real-Time Systems, pp 157–164. Stockholm, Sweden, 19-21 June, 2000.
3. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Hybrid Systems III, Verification and Control, Lecture Notes in Computer Science 1066, Springer-Verlag, 1996.
4. S. Tripakis. Software Architecture of PATH's Automated Vehicle Control. Technical report UCB/ERL M01/6, 2001.
5. Smart Cars on Smart Roads: Problems of Control;Varaiya;IEEE Transactions on Automatic Control,1993
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献