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 proceedingConference contribution

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Using model checking for Trivial File Transfer Protocol validation'. Together they form a unique fingerprint.

Keyphrases

Computer Science