6-11 January 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).

Institute for Software Systems


STS is an Institute of  Hamburg University of Technology and the
School of Electrical Engineering and Information Technology

Under the slogan "Software, Technology and Systems (STS)", 
the institute combines fundamental research on descriptions and
dependences of software systems with practical issues and applications
from both engineering and social sciences.