Vericom: A Verification and Communication Architecture for IoT-based Blockchain.
Ali DorriShailesh MishraRaja JurdakPublished in: CoRR (2021)
Keyphrases
- management system
- communication protocol
- communication protocols
- model checking
- software architecture
- communication networks
- cloud computing
- architectural design
- resource constrained
- command and control
- agent communication
- real time
- data flow
- communication overhead
- formal verification
- face verification
- open systems
- computer networks
- parallel algorithm
- data acquisition
- cyber physical systems
- information presentation