Search Results - "Toman, Zinah Hussein"

A Correct by Construction Model for CBPS Systems Verification by Toman, Sarah Hussein, Lahouij, Aida, Hamel, Lazhar, Toman, Zinah Hussein, Graiet, Mohamed

“…The Internet of Things (IoT) comprises a group of interconnected devices that communicate through the internet, necessitating a robust infrastructure and…”
Get full text

Service to service communication based on CBPS system: refinement and verification by Toman, Sarah Hussein, Lahouij, Aida, Kotel, Sonia, Hamel, Lazhar, Toman, Zinah Hussein, Graiet, Mohamed

“…The Internet of Things (IoT) is a network of devices that can communicate and cooperate over the Internet. As the IoT expands, guaranteeing the dependability…”
Get full text

Ensuring the Correctness and Reliability of CBPS System Using Event‐B by Hussein Toman, Sarah, Hamel, Lazhar, Lahouij, Aida, Hussein Toman, Zinah, Graiet, Mohamed

“…During the early phases of software system development, error detection can be challenging due to the complexity of both the requirements and the operating…”
Get full text

Formal modelling and verification of scalable service composition in IoT environment by Toman, Sarah Hussein, Hamel, Lazhar, Toman, Zinah Hussein, Graiet, Mohamed, Ouchani, Samir

“…A system based on the internet of things (IoT) consists of services deployed across several devices that collaborate to fulfil IoT system goals. The growth in…”
Get full text

Formal verification for security and attacks in IoT physical layer by Toman, Zinah Hussein, Hamel, Lazhar, Toman, Sarah Hussein, Graiet, Mohamed, Valadares, Dalton Cézane Gomes

“…IoT devices are more important than ever. In a connected world, IoT devices have many uses. They are no longer merely used at work; they are part of our…”
Get full text

Cluster-Based Information Retrieval by using (K-means)- Hierarchical Parallel Genetic Algorithms Approach by Toman, Sarah Hussein, Abed, Mohammed Hamzah, Toman, Zinah Hussein

“…Cluster-based information retrieval is one of the Information retrieval(IR) tools that organize, extract features and categorize the web documents according to…”
Get full text