STS-News

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 (FormaliSE 2019) in Montreal.