Sascha Lehmann of STS presents the paper
"Modeling R³ Needle Steering in Uppaal" by Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer and Sibylle Schupp
on Saturday, 2 April at the MARS 2022 workshop (http://mars-workshop.org/mars2022/) in Munich.
MARS2022 - Presentation
Institute for Software Systems
STS is an Institute of Hamburg University of Technology and the
School of Electrical Engineering, Computer Science and Mathematics.
Under the slogan "Software, Technology and Systems (STS)",
the institute combines fundamental research on descriptions and
dependencies of software systems with practical issues and applications
from both engineering and social sciences.