Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/cit/ZahidEB19
AU - Zahid, Soufiane
AU - En-Nouaary, Abdeslam
AU - Bah, Slimane
TI - Practical Model Checking of a Home Area Network System: Case Study.
JO - J. Comput. Inf. Technol.
VL - 27
IS - 2
SP - 1
EP - 16
PY - 2019//
DO - 10.20532/CIT.2019.1004453
UR - https://doi.org/10.20532/cit.2019.1004453
ER -
TY - CPAPER
ID - DBLP:conf/sita/SoufianeAB18
AU - Zahid, Soufiane
AU - En-Nouaary, Abdeslam
AU - Bah, Slimane
TI - An SDL to Discrete-Time PROMELA Transformation of Home Area Network model.
BT - Proceedings of the 12th International Conference on Intelligent Systems: Theories and Applications, SITA 2018, Rabat, Morocco, October 24-25, 2018.
SP - 14:1
EP - 14:5
PY - 2018//
DO - 10.1145/3289402.3289514
UR - https://doi.org/10.1145/3289402.3289514
ER -
TY - CPAPER
ID - DBLP:conf/sca2/SoufianeAB17
AU - Soufiane, Zahid
AU - En-Nouaary, Abdeslam
AU - Bah, Slimane
TI - SDL Modeling and Validation of Home Area Network in Smart Grid Systems.
BT - Innovations in Smart Cities and Applications - Proceedings of the 2nd Mediterranean Symposium on Smart City Applications, Tangier, Morocco, October 15-27, 2017
SP - 28
EP - 43
PY - 2017//
DO - 10.1007/978-3-319-74500-8_3
UR - https://doi.org/10.1007/978-3-319-74500-8_3
ER -
