Author:
Land Rikard,Carlson Jan,Larsson Stig,Crnković Ivica
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Lecture Notes in Computer Science;S. Sentilles,2008
2. Håkansson, J., Carlson, J., Monot, A., Pettersson, P.: Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. In: 6th International Symposium on Automated Technology for Verification and Analysis, Seoul, pp. 252–257 (2008)
3. Håkansson, J., Pettersson, P.: Partial Order Reduction for Verification of Real-Time Components. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems (2007)
4. Bygde, S., Lisper, B.: Towards an Automatic Parametric WCET Analysis. In: Worst-Case Execution Time Analysis Workshop, Prague (2008)
5. Shin, I., Behnam, M., Nolte, T., Nolin, M.: Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources. In: Proceedings of the 29th IEEE International Real-Time Systems Symposium (RTSS 2008), Barcelona (2008)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献