Publications
on Distributed Simulation and Real Time Applications (DS-RT), Prague, Czech Republic, 2020, pp. 1-8 2019 Bücher/Buchbeiträge - Books/Book Contributions Scheftelowitsch, D.: The state of artificial in [...] Process in Cyber-Physical Production Systems In T. Margaria and B. Steffen (Hrsg.): Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation [...] Johannes May: A Tool Supporting the Analytical Evaluation of Service Level Agreements Proc. of the 8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017), L'Aquila (Italy), 22.-26 …