VOE268

Hage, H.; Seferis, E.; Hashemi, V.; Mantwill, F. (2022) SMC4PEP: Stochastic Model Checking of Product Engineering Processes, in: 25th International Conference, Fundamental Approaches to Software Engineering (FASE), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS), Springer International Publishing, 2022. S.155-162