Author:
Waez Md Tawhid Bin,Wąsowski Andrzej,Dingel Juergen,Rudie Karen
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modelling and Simulation,Control and Systems Engineering
Reference41 articles.
1. Alfaro LD, Henzinger TA, Stoelinga M (2002) Timed interfaces. In: Proceedings of the second international conference on embedded software. EMSOFT ’02. Springer, London, pp 108–122
2. Alur R, Dill DL (1990) Automata for modeling real-time systems. In: Proceedings of the seventeenth international colloquium on automata, languages and programming. Springer-Verlag New York, Inc, NY, USA, pp 322–335
3. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126:183–235
4. Alur R, Dill DL (1996) Automata-theoretic verification of real-time systems. In: Formal methods for real-time computing. trends in software series. John Wiley & Sons Publishers, pp 55–82
5. Alur R, Torre SL, Pappas GJ (2001) Optimal paths in weighted timed automata Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control. HSCC ’01. Springer, London, pp 49–62
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献