Author:
David Alexandre,Larsen Kim Guldstrand,Legay Axel,Mikučionis Marius
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Ben-Abdallah, H., Choi, J.-Y., Clarke, D., Kim, Y.S., Lee, I., Xie, H.-L.: A process algebraic approach to the schedulability analysis of real-time systems. Real-Time Systems 15, 189–219 (1998), doi:10.1023/A:1008047130023
2. Lecture Notes in Computer Science;P. Bulychev,2012
3. Bradley, S., Henderson, W., Kendall, D.: Using timed automata for response time analysis of distributed real-time systems. In: Systems in 24th IFAC/IFIP Workshop on Real-Time Programming, WRTP 1999, pp. 143–148 (1999)
4. Bohnenkamp, H.C., Hermanns, H., Klaren, R., Mader, A., Usenko, Y.S.: Synthesis and stochastic assessment of schedules for lacquer production. In: Proceedings of the First International Conference on the Quantitative Evaluation of Systems, QEST 2004, pp. 28–37 (September 2004)
5. Brekling, A., Hansen, M.R., Madsen, J.: Moves – a framework for modelling and verifying embedded systems. In: International Conference on Microelectronics, ICM 2009, pp. 149–152 (December 2009)
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献