Author:
Lehmann Sascha,Antoni Sven-Thomas,Schlaefer Alexander,Schupp Sibylle
Publisher
Springer International Publishing
Reference20 articles.
1. Rinast, J.: An online model-checking framework for timed automata. Ph.D. thesis, Technische Universität Hamburg (2015)
2. Dasarathy, B.: Timing constraints of real-time systems: constructs for expressing them, methods of validating them. IEEE Trans. Softw. Eng. SE–11(1), 80–86 (1985)
3. Wang, F.: Timing behavior analysis for real-time systems. In: Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, pp. 112–122 (1995)
4. Xu, J., Parnas, D.L.: On satisfying timing constraints in hard-real-time systems. IEEE Trans. Softw. Eng. 19, 70–84 (1993)
5. Buttazzo, G.C.: Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, vol. 24. Springer, Heidelberg (2011).
https://doi.org/10.1007/978-1-4614-0676-1