Local Model Checking on an IoT Based System: Use Case of Cellular M2M in Agriculture.

Sawsen Khlifa, Chiheb Ameur Abid, Asma Ben Letaifa, Belhassen Zouari

Browse the full AINA paper archive.