Practical model checking of a home area network system : case study

Autor: Zahid, Soufiane, En-Nouaary, Abdeslam, Bah, Slimane
Matična publikacija: CIT. Journal of computing and information technology (2019)