Saed Alrabaee, Ahmed Saleh Bataineh, Fawaz Ali Khasawneh, Rachida Dssouli. Using model checking for Trivial File Transfer Protocol validation. In Fourth International Conference on Communications and Networking, ComNet 2014, Hammamet, Tunisia, March 19-22, 2014. pages 1-7, IEEE, 2014. [doi]
Abstract is missing.