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.
27.05.2019
FormaliSE 2019
Static Analysis for Worst-Case Battery Utilization
Dmitry Ivanov talks about "Static Analysis for Worst-Case Battery Utilization" at the 7th International Conference on Formal Methods in Software Engineering (<link https: www.formalise.org _blank>FormaliSE 2019) in Montreal.