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

Simple item page
dc.contributor.authorAmal Salmi
dc.date.accessioned2024-08-04T13:54:35Z
dc.date.available2024-08-04T13:54:35Z
dc.date.issued2023
dc.identifier.urihttp://dspace.univ-khenchela.dz:4000/handle/123456789/6426
dc.language.isofr
dc.titleVérification comportementale des systèmes de l’internet des objets par les automates de Büchi
dc.title.alternativeDR.Messaoudi Nabil
dc.typeThesis
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
510-092-M.pdf
Size:
1.98 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description:
Download
Collections
Master Memoires