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.
19.09.2019
CURAC 2019
An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction
Sascha Lehmann presents the paper An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction at the 18th Annual Meeting of the German Society for Computer- and Robot-Assisted Surgery (<link https: curac.org en _blank>CURAC 2019) in Reutlingen.