Publisher
Springer International Publishing
Reference20 articles.
1. Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. (TOMACS) 28(1), 1–39 (2018)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
3. Lecture Notes in Computer Science;M Askarpour,2020
4. Bareiss, R., Griss, M.: A story-centered, learn-by-doing approach to software engineering education. In: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, pp. 221–225 (2008)
5. Desel, J.: Teaching system modeling, simulation and validation. In: Winter Simulation Conference Proceedings, vol. 2, pp. 1669–1675. IEEE (2000)