S
Soufiane Zahid
Publications - 1
Citations - 4
Soufiane Zahid is an academic researcher. The author has contributed to research in topics: Smart grid & Model checking. The author has an hindex of 1, co-authored 1 publications receiving 3 citations.
Papers
More filters
Proceedings Article
Practical Model Checking of a Home Area Network System: Case Study
TL;DR: This paper intends to validate a HAN SDL model, described in a previous work, using model checking techniques, and introduces a method to translate the SDL model to a Promela model using an intermediate format IF.