( en | de | ru )

 

Disambiguation of "Ayed, Rahma Ben"

Author of the publication

copydeleteadd this publication to your clipboard
RPL protocol adapted for healthcare and medical applications.

, , , and . IWCMC, page 690-695. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rahma Yangui

Rahma Bouaziz

Hedi Ayed

Ayed Mrief Ayed al- Abdallat

Ayed Abdel Razzag

 

Other publications of authors with the same name

A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules., , , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 173-190. Springer, (2019)Event-B Decomposition Analysis for Systems Behavior Modeling., , , , , and . ICSOFT, page 278-286. SciTePress, (2019)Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications., , , and . TASE, volume 13299 of Lecture Notes in Computer Science, page 256-273. Springer, (2022)Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -., , , , and . FMICS, volume 11687 of Lecture Notes in Computer Science, page 93-109. Springer, (2019)An intrusion detection system for selective forwarding attack in IPv6-based mobile WSNs., , and . IWCMC, page 276-281. IEEE, (2017)Sampling-based consensus fuzzy clustering on Big Data., , and . FUZZ-IEEE, page 1501-1508. IEEE, (2016)Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation., , , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 23-40. Springer, (2019)On Expressiveness of TCTLΔh for Model Checking Distributed Systems., , and . ICCCI (1), volume 9875 of Lecture Notes in Computer Science, page 323-332. Springer, (2016)Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications., , , , and . CRiSIS, volume 13857 of Lecture Notes in Computer Science, page 153-168. Springer, (2022)Towards a Method for the Decomposition by Refinement in Event-B., , , , , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 358-370. Springer, (2019)