Membership service specifications for safety-critical geocast in vehicular networks.
Marco SlotMélanie BourocheVinny CahillPublished in: CSNDSP (2010)
Keyphrases
- vehicular networks
- safety critical
- propagation model
- network coding
- routing scheme
- formal methods
- safety analysis
- agent architecture
- fault tolerant
- formal specification
- embedded systems
- support systems
- specification language
- adaptive systems
- wireless networks
- wireless sensor networks
- data mining
- routing algorithm
- intelligent agents
- low cost
- multi agent systems