Author:
Chadli Mounir,Kim Jin H.,Larsen Kim G.,Legay Axel,Naujokat Stefan,Steffen Bernhard,Traonouez Louis-Marie
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference43 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994). doi: 10.1016/0304-3975(94)90010-8
2. Alur, R., La Torre, S., Pappas, G.J.: Optimal paths in weighted timed automata. Theor. Comput. Sci. 318(3), 297–322 (2004). doi: 10.1016/j.tcs.2003.10.038
3. Basseville, M., Nikiforov, I.V.: Detection of Abrupt Changes: Theory and Application. Prentice-Hall Inc, Englewood Cliffs (1993)
4. Beauquier, D.: On probabilistic timed automata. Theor. Comput. Sci. 292(1), 65–84 (2003). doi: 10.1016/S0304-3975(01)00215-8
5. Behrmann, G., David, A., Larsen, K.G., Håkansson, J., Pettersson, P., Yi, W., Hendriks, M.: UPPAAL 4.0. In: Third International Conference on the Quantitative Evaluation of Systems (QEST), pp. 125–126 (2006). doi: 10.1109/QEST.2006.59
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献