Login / Signup
Institutionalised Consensus in Vehicular Networks: Executable Specification and Empirical Validation.
David Sanderson
Jeremy 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