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.
21.08.2019
CURAC 2019
An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction
The paper "An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction" by Sven-Thomas Antoni, Sascha Lehmann, Sibylle Schupp and Alexander Schlaefer has been accepted at the CURAC Annual Conference 2019 in Reutlingen.