Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference42 articles.
1. Henzinger T.A., Ho P.-H. and Wong-Toi H. (1997). HYTECH: a model checker for hybrid systems. Int. J. Softw. Tools Technol. Transfer 1(1–2): 110–122
2. Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification (preliminary report). In: LICS, pp. 332–344. IEEE Computer Society (1986)
3. Henzinger, T.A.: The theory of hybrid automata. In: Proc. 11th Annual IEEE Symposium on Logic in Computer Science, LICS’96, New Brunswick, New Jersey, 27–30 July 1996, pp. 278–292. IEEE Computer Society Press (1996)
4. Alur R., Henzinger T.A. and Ho P.-H. (1996). Automatic symbolic verification of embedded systems. IEEE Trans. Softw. Eng. 22: 181–201
5. Henzinger T.A., Ho P.-H. and Wong-Toi H. (1998). Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. Automat. Control 43(4): 540–554
Cited by
115 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献