Author:
Echeveste José,Cont Arshia,Giavitto Jean-Louis,Jacquemard Florent
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Reference26 articles.
1. Akshay S, Bollig B, Gastin P, Mukund M, Narayan Kumar K (2008) Distributed timed automata with independently evolving clocks. In: van Breugel F, Chechik M (eds) Proceedings of the 19th international conference on concurrency theory (CONCUR’08). Lecture notes in computer science, vol 5201. Springer, Toronto, pp 82–97. doi: 10.1007/978-3-540-85361-9_10
2. Allen J (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832–843
3. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126:183–235. doi: 10.1016/0304-3975(94)90010-8
4. Alur R, Henzinger TA, Vardi MY (1993) Parametric real-time reasoning. In: Proceedings of the 25th annual ACM symposium on theory of computing, STOC ’93. ACM, New York, pp 592–601. doi: 10.1145/167088.167242
5. André É, Chatain Th, De Smet O, Fribourg L, Ruel S (2009a) Synthèse de contraintes temporisées pour une architecture d’automatisation en réseau. In: Lime D, Roux OH (eds) Actes du 7ème colloque sur la modélisation des systèmes réactifs (MSR’09). Journal Européen des systèmes automatisés, vol 43. Hermès, Nantes, France, pp 1049–1064
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献