Zahid Soufiane

According to our database, Zahid Soufiane authored at least 3 papers between 2017 and 2019.

Collaborative distances:

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

2019

Practical Model Checking of a Home Area Network System: Case Study.

Soufiane Zahid, Abdeslam En-Nouaary, Slimane Bah

J. Comput. Inf. Technol., 2019

2018

An SDL to Discrete-Time PROMELA Transformation of Home Area Network model.

Soufiane Zahid, Abdeslam En-Nouaary, Slimane Bah

Proceedings of the 12th International Conference on Intelligent Systems: Theories and Applications, 2018

2017

SDL Modeling and Validation of Home Area Network in Smart Grid Systems.

Zahid Soufiane, Abdeslam En-Nouaary, Slimane Bah

Proceedings of the Innovations in Smart Cities and Applications, 2017