A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT.

Michele Albano, Stefano Chessa, Kim Guldstrand Larsen

Browse the full ISCC paper archive.