Author:
Chaochen Zhou,Jingzhong Zhang,Lu Yang,Xiaoshan Li
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. R. Alur, C. Courcoubetis, T. Henzinger, P-H Ho: Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems, in Hybrid Systems, LNCS 736, pp 209–229, R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (eds.), Springer-Verlag, 1993
2. M. Engel, M. Kubica, J. Madey, D.J. Parnas, A.P. Ravn, A.J. van Schouwen: A Formal Approach to Computer Systems Requirements Documentation, in Hybrid Systems, LNCS 736, pp 452–474, R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (eds.), Springer-Verlag, 1993
3. Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine: Integration Graphs: A Class of Decidable Hybrid Systems, in Hybrid Systems, LNCS 736, pp 179–208, R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (eds.), Springer-Verlag, 1993
4. S.C. Kleene: Representation of Events in Nerve Nets and Finite Automata, in Automata Studies, pp 3–41, C. Shannon and J. McCarthy (eds.), Princeton Univ. Press, Princeton, NJ, 1956
5. Z. Manna, A. Pnueli: Verifying Hybrid Systems, in Hybrid Systems, LNCS 736, pp 4–35, R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (eds.), Springer-Verlag, 1993
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Decision Procedures for Theories of Sets with Measures;Automated Deduction – CADE 26;2017
2. Checking Integral Real-Time Automata for Extended Linear Duration Invariants;Communications in Computer and Information Science;2015
3. Duration Calculus;Logics of Specification Languages;2007-12-05
4. All Those Duration Calculi: An Integrated Approach;Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems;2007
5. Modeling Urgency in Component-Based Real-Time Systems;Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues;2007