On Resource-Aware Message Verification in VANETs.
Zhengming LiChunxiao ChiganPublished in: ICC (2010)
Keyphrases
- model checking
- face verification
- case study
- real world
- vehicular ad hoc networks
- asynchronous circuits
- signature verification
- message transmission
- message delivery
- concurrent systems
- formal verification
- communication channels
- temporal logic
- digital images
- artificial neural networks
- expert systems
- multi agent
- e learning
- social networks
- artificial intelligence