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

No Thumbnail Available
Files
510-092-M.pdf (1.98 MB)
Date
2023
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://dspace.univ-khenchela.dz:4000/handle/123456789/6426
Collections
Master Memoires