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.
04.10.2018
CyPhy 2018
Model-Based Design of Cyber Physical Systems
The paper "A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification" has been accepted for the "CyPhy'18" workshop (http://www.cyphy.org/) as part of the "ESWEEK" event on embedded systems and software (https://www.esweek.org/).
Sascha Lehmann presents the work at the conference.
