Login / Signup
Blockchain enabled verification for cellular-connected unmanned aircraft system networking.
Jian Wang
Yongxin Liu
Shuteng Niu
Houbing Song
Weipeng Jing
Jiawei Yuan
Published in:
Future Gener. Comput. Syst. (2021)
Keyphrases
</>
unmanned aerial vehicles
cellular automata
peer to peer
model checking
path planning
distributed computing
ground vehicles
formal methods
real time
verification method
face verification
formal verification
network infrastructure
genetic algorithm
flight data
database
gigabit ethernet