Towards modeling and verification of smart homes.

Yacine Kissoum, Ramdane Maamri, Zadi Sahnoun

Browse the full AICCSA paper archive.