Items where Author is "Mehta, Vinay P."

Fehnker, Ansgar and Chaudhary, Kaylash C. and Mehta, Vinay P. (2018) An Even Better Approach – Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis. In: NASA Formal Methods. Programming and Software Engineering (part of LNC Series), 10811 . Springer, Switzerland, pp. 164-178. ISBN 978-3-319-77934-8

Chaudhary, Kaylash C. and Fehnker, Ansgar and Mehta, Vinay P. (2017) Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol. [Conference Proceedings]

Fehnker, Ansgar and Hoefner, P. and Kamali, M. and Mehta, Vinay P. (2013) Model files accompanying "Topology-based Mobility Models for Wireless Networks". UNSPECIFIED.

Fehnker, Ansgar and Höfner, P. and Kamali, M. and Mehta, Vinay P. (2013) Topology - based mobility models for wireless networks. [Conference Proceedings]