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.
06.01.2019
Schloss Dagstuhl
Explainable Software for Cyber-Physical Systems
Mathias Blumreiter talks about "Refining incomplete models through system observations with NuSMV" during the conference "Explainable Software for Cyber-Physical Systems" at Schloss Dagstuhl (Leibnitz-Zentrum für Informatik).