Ijaz Ahmed
AuthID: R-000-Y8J
1
TÃTULO: Technological, Financial and Ecological Analysis of Photovoltaic Power System using RETScreen®: A Case in Khuzdar, Pakistan
AUTORES: Um-E-Habiba Alvi; Ijaz Ahmed; Alveena Alvi; Babar Ashfaq; Sana Mukhtar; Paghunda Roheela Ali;
PUBLICAÇÃO: 2022, FONTE: 2022 International Conference on Emerging Technologies in Electronics, Computing and Communication, ICETECC 2022 in ICETECC 2022 - International Conference on Emerging Technologies in Electronics, Computing and Communication
AUTORES: Um-E-Habiba Alvi; Ijaz Ahmed; Alveena Alvi; Babar Ashfaq; Sana Mukhtar; Paghunda Roheela Ali;
PUBLICAÇÃO: 2022, FONTE: 2022 International Conference on Emerging Technologies in Electronics, Computing and Communication, ICETECC 2022 in ICETECC 2022 - International Conference on Emerging Technologies in Electronics, Computing and Communication
INDEXADO EM: 
Scopus
Scopus2
TÃTULO: A case study on the lightweight verification of a multi-threaded task server Full Text
AUTORES: Néstor Cataño; Ijaz Ahmed; Radu I Siminiceanu; Jonathan Aldrich;
PUBLICAÇÃO: 2014, FONTE: Science of Computer Programming, VOLUME: 80
AUTORES: Néstor Cataño; Ijaz Ahmed; Radu I Siminiceanu; Jonathan Aldrich;
PUBLICAÇÃO: 2014, FONTE: Science of Computer Programming, VOLUME: 80
INDEXADO EM: 
CrossRef
CrossRef3
TÃTULO: Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool
AUTORES: Nestor Catano ; Ijaz Ahmed;
PUBLICAÇÃO: 2011, FONTE: 19th IEEE Int Requirements Engineering Conf erence (RE)/16th Int Workshop on Formal Methods for Industrial Critical Systems (FMICS)/5th Int IStar Workshop in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 6959
AUTORES: Nestor Catano ; Ijaz Ahmed;
PUBLICAÇÃO: 2011, FONTE: 19th IEEE Int Requirements Engineering Conf erence (RE)/16th Int Workshop on Formal Methods for Industrial Critical Systems (FMICS)/5th Int IStar Workshop in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 6959
INDEXADO EM: Scopus 
WOS
Scopus WOS4
TÃTULO: Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool
AUTORES: Néstor Cataño; Ijaz Ahmed;
PUBLICAÇÃO: 2011, FONTE: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
AUTORES: Néstor Cataño; Ijaz Ahmed;
PUBLICAÇÃO: 2011, FONTE: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
CrossRef