
Registered user since Thu 28 Apr 2016
Contributions
FormaliSE 2019 | Static Analysis for Worst-Case Battery Utilization | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2019-profile
View general profile
View general profile
Registered user since Thu 28 Apr 2016
Contributions
FormaliSE 2019 | Static Analysis for Worst-Case Battery Utilization | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |