|
|
|
|
|
Items where Author is "Mehta, Vinay P." |
||
|
Group by: Item Type | No Grouping Number of items: 4. Book ChapterFehnker, 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 Conference ProceedingsChaudhary, 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 Höfner, P. and Kamali, M. and Mehta, Vinay P. (2013) Topology - based mobility models for wireless networks. [Conference Proceedings] OtherFehnker, Ansgar and Hoefner, P. and Kamali, M. and Mehta, Vinay P. (2013) Model files accompanying "Topology-based Mobility Models for Wireless Networks". UNSPECIFIED. |