Author:
Lime Didier,Roux Olivier (H. )
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modelling and Simulation,Control and Systems Engineering
Reference46 articles.
1. Altisen K, Gössler G, Pnueli A, Sifakis J, Tripakis S, Yovine S (1999) A framework for scheduler synthesis. In: 20th IEEE real-time systems symposium, RTSS’99, Phoenix, Arizona, USA. IEEE Computer Society Press, Washington, pp 154–163
2. Lecture notes in computer science;K Altisen,2000
3. Altisen K, Gössler G, Sifakis J (2002) Scheduler modelling based on the controller synthesis paradigm. J Real-Time Syst 23:55–84. Special issue on control-theoretical approaches to real-time computing
4. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235
5. Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P-H, Nicollin X, Olivero A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor Comput Sci 138:3–34
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献