Bashar Alkhawaldeh
Ayoub Alsarhan
Bashar Alkhawaldeh
Atalla Fahed Al-Serhan
Muhsen Alkhalidy
A Novel Genetic and Intelligent Scheme for Service Trading in IoT Fog Networks.
191-209
2022
May
16
Int. J. Interact. Mob. Technol.
10
https://doi.org/10.3991/ijim.v16i10.30479
db/journals/ijim/ijim16.html#AlsarhanAAA22
Bashar Alkhawaldeh
Integration of the process algebra CSP in dependent type theory: formalisation and verification.
2018
Swansea University, UK
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.814108
https://doi.org/10.23889/Suthesis.54270
British Library, EThOS
Atalla Fahed Al-Serhan
Muhsen Alkhalidy
Ayoub Alsarhan