Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering
Reference21 articles.
1. Alur, R., & Dill, D. (1991). A theory of timed automata. In Proceedings of the REX workshop “Realtime theory in practice”.
2. Automata for modelling real-time systems;Alur;Theoritical Computer Science,1994
3. Alur, R. (1999). Timed automata. In Proceedings of the 11th International conference on computer-aided verification, LNCS 1633 (pp. 8–22), Springer-Verlag.
4. Bani Younis, M., & Frey, G. (2003). Formalisation of existing PLC programs: a survey. In Proceedings of CESA, Lille, France.
5. Behrmann, G., David, A., & Larsen, G. (2004). A tutorial on UPPAAL, UPPAAL web site, Documentation, Tutorials.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献