Open Access

ARTICLE

A Formal Testing Model for Operating Room Control System Using Internet of Things

Moez Krichen¹, Seifeddine Mechti², Roobaea Alroobaea³, Elyes Said⁴, Parminder Singh⁵, Osamah Ibrahim Khalaf⁶, Mehedi Masud^3,*

1 Faculty of CSIT, AlBaha University, AlBaha, Saudi Arabia & ReDCAD Laboratory, Sfax University, Sfax, Tunisia
2 MIRACL Laboratory, Sfax University, Sfax, Tunisia
3 Department of Computer Science, College of Computers and Information Technology, Taif University, Taif, 21944, Saudi Arabia
4 International Institute of Technology of Sfax, Sfax, Tunisia
5 School of Computer Science and Engineering, Lovely Professional University, Phagwara City, India
6 Al-Nahrain Nanorenewable Energy Research Center, Al-Nahrain University, Baghdad, Iraq

* Corresponding Author: Mehedi Masud. Email: