Author:
Kiviriga Andrej,Larsen Kim Guldstrand,Nyman Ulrik
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference27 articles.
1. Kiviriga, A., Larsen, K.G., Nyman, U.: Randomized Refinement Checking of Timed I/O Automata. In: Pang, J., Zhang, L. (eds.) Dependable Software Engineering. Theories, Tools, and Applications, pp. 70–88. Springer, Cham (2020)
2. Grosu, R., Smolka, S.A.: Monte Carlo Model Checking. In: Halbwachs, N., Zuck, L.D. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 271–286. Springer, Berlin, Heidelberg (2005)
3. Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Formal Methods for the Design of Real-time Systems, pp. 200–236. Springer (2004)
4. Joseph, M., Pandya, P.: Finding response times in a real-time system. Comput. J. 29(5), 390–395 (1986). https://doi.org/10.1093/comjnl/29.5.390
5. Burns, A.: Preemptive Priority-Based Scheduling: An Appropriate Engineering Approach, pp. 225–248. Prentice-Hall, Inc., Hoboken (1995)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formal methods and tools for industrial critical systems;International Journal on Software Tools for Technology Transfer;2022-10-28