Khadija Batool

According to our database, Khadija Batool authored at least 2 papers in 2024.

Collaborative distances:

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

2024

A Formal Specification Approach to Specify Pet's House System Using Z - Notations.

Nibtal Khalid, Irfan Ahmed, Jabar Mahmood, Qasim Ali, Saman Abid, Khadija Batool

Proceedings of the 16th IEEE International Conference on Advanced Infocomm Technology, 2024

FESR - Framework to evaluate Software Reliability based on software metrics.

Hurriya Fahad, Irfan Ahmed, Jabar Mahmood, Saman, Khadija Batool, Qasim Ali

Proceedings of the 2024 8th International Conference on High Performance Compilation, 2024