Soufiane Zahid

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Transition Systems

Automated Verification

Linear Temporal Logic

Top Venues

J. Comput. Inf. Technol.

Publications

Soufiane Zahid, Abdeslam En-Nouaary, Slimane Bah
Practical Model Checking of a Home Area Network System: Case Study. J. Comput. Inf. Technol. 27 (2) (2019)
Soufiane Zahid, Abdeslam En-Nouaary, Slimane Bah
An SDL to Discrete-Time PROMELA Transformation of Home Area Network model. SITA (2018)