Login / Signup

Institutionalised Consensus in Vehicular Networks: Executable Specification and Empirical Validation.

David SandersonJeremy Pitt
Published in: SASO Workshops (2012)
Keyphrases
  • empirical validation
  • vehicular networks
  • empirically validated
  • formal specification
  • propagation model
  • routing scheme
  • network coding
  • ad hoc networks
  • social networks
  • digital libraries
  • end to end
  • routing algorithm