Vérification comportementale des systèmes de l’internet des objets par les automates de Büchi

Amal Salmi2024-08-042024-08-042023http://dspace.univ-khenchela.dz:4000/handle/123456789/6426frVérification comportementale des systèmes de l’internet des objets par les automates de BüchiDR.Messaoudi NabilThesis