Browsing by Author abid, awatif
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2019-06-20 | Formal verification of the implementation of the MQTT protocol in IoT devices | abid, awatif |
| Issue Date | Title | Author(s) |
|---|---|---|
| 2019-06-20 | Formal verification of the implementation of the MQTT protocol in IoT devices | abid, awatif |