STS-News

STS-Paper at FormaliSE 2019

Static Analysis for Worst-Case Battery Utilization

The paper "Static Analysis for Worst-Case Battery Utilization" by Dmitry Ivanov and Sibylle Schupp has been accepted at the 7th International Conference on Formal Methods in Software Engineering (FormaliSE 2019) in Montréal.