Formal modeling and verification of DLK protocol

H. M.N. Al-Hamadi, C. Y. Yeun, M. J. Zemerly, M. A. Al-Qutayri, Amjad Gawanmeh

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Fingerprint

Dive into the research topics of 'Formal modeling and verification of DLK protocol'. Together they form a unique fingerprint.

Computer Science