An Even Better Approach – Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis

Ansgar Fehnker, Kaylash Chaudhary and Vinay Mehta

NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018


Contact Ansgar Fehnker for questions or comments.