Skip to content

Static analysis for worst-case battery utilization.

Dmitry Ivanov, Sibylle Schupp

VenueA*ICSE
Year2019
ProceedingsFormaliSE@ICSE

Browse the full ICSE paper archive.