Author:
Dong Jin Song,Hao Ping,Qin Sheng Chao,Sun Jun,Yi Wang
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
2. Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Wang, Y.: UPPAAL - a tool suite for automatic verification of real-time systems. In: Hybrid Systems III: Verification and Control, pp. 232–243. Springer, Heidelberg (1996)
3. Cheng, A.M.K.: Real-time systems: scheduling, analysis, and verification. John Wiley and Sons, Chichester (2002)
4. Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool KRONOS. In: Hybrid Systems III: Verification and Control, pp. 208–219. Springer, Heidelberg (1996)
5. Dong, J.S., Hao, P., Qin, S.C., Sun, J., Yi, W.: TCOZ to Timed Automata. Technical report TRC6/03, School of Computing, National University of Singapore (2003), http://nt-appn.comp.nus.edu.sg/fm/tcoz2ta/tr.zip
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献