Using model checking for Trivial File Transfer Protocol validation
- Saed Alrabaee
- , Ahmed Bataineh
- , Fawaz A. Khasawneh
- , Rachida Dssouli
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2
Link opens in a new tab
Citations
(Scopus)