Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.
2. A. Khoumsi, G.v. Bochmann, and R. Dssouli. Protocol synthesis for real-time applications. In Proc. PSTV/FORTE, Beijing, China, October 1999. Also available in http://www.gel.usherb.ca/khoumsi/Research/Public/PSTVFORTE99.ps .
3. R. Alur, C. Courcoubetis, and D. Dill. Model checking for real-time systems. In Proc. IEEE Symposium on Logic in Computer Science, 1990.
4. F. Liu. Test generation based on an FSM model with timers and counters. Master’s thesis, University of Montreal, Department IRO, 1993.
5. D. Mandrioli, S. Morasca, and A. Morzenti. Generating test cases for realtime systems from logic specifications. ACM Transactions on Computer Systems, 13(4):365–398, November 1995.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献