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.
