Rafat Alshorman

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Transport Protocol

Transmission Control Protocol

Top Venues

Int. Arab J. Inf. Technol.

Loughborough University, UK (PHD)

Education History

Loughborough University, UK

PHD

Publications

Ra'Ed Bani-Abdelrahman, Rafat Alshorman, Walter Hussak, Amitabh Trehan
Specification of synchronous network flooding in temporal logic. Int. Arab J. Inf. Technol. 17 (6) (2020)
Rafat Alshorman
Toward proving the correctness of TCP protocol using CTL. Int. Arab J. Inf. Technol. 16 (3) (2019)