Open Access iconOpen Access



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

Moez Krichen1, Seifeddine Mechti2, Roobaea Alroobaea3, Elyes Said4, Parminder Singh5, Osamah Ibrahim Khalaf6, Mehedi Masud3,*

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: email


  • 2689


  • 1285


  • 0


Share Link