Please use this identifier to cite or link to this item: http://archives.univ-biskra.dz/handle/123456789/13218
Title: Formal verification of the implementation of the MQTT protocol in IoT devices
Other Titles: informatique
Authors: abid, awatif
Issue Date: 20-Jun-2019
URI: http://archives.univ-biskra.dz/handle/123456789/13218
Appears in Collections:Faculté des Sciences Exactes et des Science de la Nature et de la vie (FSESNV)

Files in This Item:
File Description SizeFormat 
abid_awatif.pdf3,12 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.