Journal of Computing and Information Technology

Bah, Slimane, Ecole Mohammadia d'Ingénieurs (EMI), University Mohammed V, Morocco

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