Faster verification of V2X basic safety messages via Message Chaining.
Eduardo Lopes CominettiMarcos Vinicius M. SilvaMarcos A. Simplício Jr.Harsh Kupwade PatilJefferson E. RicardiniPublished in: Veh. Commun. (2023)
Keyphrases
- message delivery
- email messages
- messages exchanged
- communication channels
- model checking
- safety analysis
- face verification
- electronic mail
- agent communication language
- asynchronous circuits
- formal verification
- short messages
- agent communication
- signature verification
- formal methods
- safety critical
- artificial intelligence
- low latency
- text messages
- spam filtering
- highly efficient
- coal mining
- mobile agents
- social networks