Author:
Boudjadar Abdeldjalil,David Alexandre,Kim Jin Hyun,Larsen Kim. G.,Mikučionis Marius,Nyman Ulrik,Skou Arne
Publisher
Springer International Publishing
Reference13 articles.
1. Lecture Notes in Computer Science;T Amnell,2004
2. Behnam, M., Nolte, T., Shin, I., Åsberg, M., Bril, R.: Towards hierarchical scheduling in VxWorks. In: OSPERT 2008, pp. 63–72 (2008)
3. Carnevali, L., Pinzuti, A., Vicario, E.: Compositional verification for hierarchical scheduling of real-time systems. IEEE Trans. Softw. Eng. 39(5), 638–657 (2013)
4. Clarke, E.M., Long, D.E., Mcmillan, K.L.: Compositional Model Checking. MIT Press, Cambridge (1999)
5. Lecture Notes in Computer Science;A David,2012
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献