Formal-based modeling and analysis of a network communication protocol for IoT: MQTT protocol

Formal-based modeling and analysis of a network communication protocol for IoT: MQTT protocol

Hcine, J.
smart innovation, systems and technologies 2020 Vol. 147 pp. 350-360
192
hcine2020formalbasedsmart

Citation

ID: 21435
Ref Key: hcine2020formalbasedsmart
Use this key to autocite in SciMatic or Thesis Manager

References

Blockchain Verification

Account:
NFT Contract Address:
0x95644003c57E6F55A65596E3D9Eac6813e3566dA
Article ID:
21435
Unique Identifier:
10.1007/978-3-030-21009-0_34
Network:
Scimatic Chain (ID: 481)
Loading...
Blockchain Readiness Checklist
Authors
Abstract
Journal Name
Year
Title
4/5
Blockchain Upload Locked

Complete all 5 checklist items to tokenize your article

Saymatik Web3.0 Wallet