Verifiable and Resource-Aware Component Model for IoT Devices.

Arthur Gatouillat, Youakim Badr

Browse the full MEDES paper archive.