Automated verification and synthesis of distributed systems: in particular applied to SDN-IoT platform. (Vérification et synthèse automatisées de systèmes distribués: appliqué en particulier à la plateforme SDN-IoT). - Abdul Majith Noordheen (2022)