Abdulrazaq Abba

According to our database, Abdulrazaq Abba authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Vulnerability prediction for secure healthcare supply chain service delivery.

Shareeful Islam, Abdulrazaq Abba, Umar Mukhtar Ismail, Haralambos Mouratidis, Spyridon Papastergiou

Integr. Comput. Aided Eng., 2022

2021

Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata.

Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021