E-LIB Suche - Ergebnisse für: Rasool, Imran

1

Formal Modeling and Verification of IoT-based Smart Transpo..:

, In: 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC),

Rashid, Muhammad ; Qadeer, Muhammad ; Raza, Husnain... - p. 1-6 , 2024

Link: https://doi.org/10.1109/..

2

Formal Verification and Validation of IoT-based Railway Gat..:

, In: 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC),

Rashid, Muhammad ; Qadeer, Muhammad ; Raza, Husnain... - p. 1-6 , 2024

Link: https://doi.org/10.1109/..

3

Formal Modeling and Verification of Justification and Final..:

, In: 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC),

Rashid, Muhammad ; Rasool, Imran ; Zafar, Nazir Ahmad. - p. 1-6 , 2024

Link: https://doi.org/10.1109/..

4

Formal Verification of Aircraft Departure Procedure Using S..:

, In: 2023 18th International Conference on Emerging Technologies (ICET),

Rashid, Muhammad ; Rehman, Muhammad Masood ul ; Raza, Husnain... - p. 165-170 , 2023

Link: https://doi.org/10.1109/..

5

Formal Modeling and Verification of IoT-based Smart Waste M..:

, In: 2023 17th International Conference on Open Source Systems and Technologies (ICOSST),

Rashid, Muhammad ; Rehman, Muhammad Masood Ul ; Raza, Husnain... - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

6

Verification of Safety and Liveness on Process Management S..:

, In: 2023 18th International Conference on Emerging Technologies (ICET),

Rashid, Muhammad ; Rasool, Imran ; Zafar, Nazir Ahmad. - p. 190-195 , 2023

Link: https://doi.org/10.1109/..

7

Formal Verification of Blockchain and IoT-based E-Voting Sy..:

, In: 2023 2nd International Conference on Emerging Trends in Electrical, Control, and Telecommunication Engineering (ETECTE),

Rashid, Muhammad ; Rasool, Imran ; Zafar, Nazir Ahmad. - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

8

Formal Modeling and Verification of Validator Voluntarily E..:

, In: 2023 2nd International Conference on Emerging Trends in Electrical, Control, and Telecommunication Engineering (ETECTE),

Rashid, Muhammad ; Rasool, Imran ; Zafar, Nazir Ahmad. - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

9

Verification of Safety of Aircraft Arrival Procedure using ..:

, In: 2023 International Conference on Frontiers of Information Technology (FIT),

Rashid, Muhammad ; Qadeer, Muhammad ; Raza, Husnain... - p. 262-267 , 2023

Link: https://doi.org/10.1109/..

10

Variable structure model predictive controller based gain s..:

Sibtain, Daud ; Gulzar, Muhammad Majid ; Murtaza, Ali F....
International Journal of Numerical Modelling: Electronic Networks, Devices and Fields. 35 (2022) 4 - p. , 2022

Link: https://doi.org/10.1002/..

11

An Efficient Design of Adaptive Model Predictive Controller..:

Gulzar, Muhammad Majid ; Sibtain, Daud ; Ahmad, Arslan...
International Transactions on Electrical Energy Systems. 2022 (2022) - p. 1-14 , 2022

Link: https://doi.org/10.1155/..

12

Adaptive Fractional Order PID Controller Based MPPT for PV ..:

Nasir, Ali ; Rasool, Imran ; Sibtain, Daud.
Journal of Electrical Engineering & Technology. 16 (2021) 5 - p. 2599-2610 , 2021

Link: https://doi.org/10.1007/..

13

Improved PV Control that Considers Charging Restrictions of..:

, In: 2022 IEEE International Conference on Power and Energy (PECon),

Saeed, Mohammed R. ; Imran, Rasool M. ; Alwez, Mustafa Abo.. - p. 209-212 , 2022

Link: https://doi.org/10.1109/..

14

Analysis of Microgrid's Operation Integrated to Renewable E..:

Habib, Habib Ur Rahman ; Waqar, Asad ; Hussien, Mohamed G....
IEEE Access. 10 (2022) - p. 7598-7638 , 2022

Link: https://doi.org/10.1109/..

15

A Secured and Authenticated State Estimation Approach to Pr..:

, In: 2020 International Conference on Innovation and Intelligence for Informatics, Computing and Technologies (3ICT),

Aziz, Israa T. ; Abdulqadder, Ihsan H. ; Alturfi, Sabah M... - p. 1-5 , 2020

Link: https://doi.org/10.1109/..