Journal of Computing and Information Technology

En-Nouaary, Abdeslam, Institut National des Postes et Télécommunications (INPT), Morocco

• Vol 27, No 2 (2019) - Regular Papers
  Practical Model Checking of a Home Area Network System: Case Study
  Abstract  PDF