Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Maissa Elleuch
Formal Probabilistic Performance Verification of Randomly-Scheduled Wireless Sensor Networks
International Journal of Critical Computer-Based Systems
Computer Science
Related publications
Static Verification of Wireless Sensor Networks With Formal Methods
Probabilistic Topology Control in Wireless Sensor Networks
QoS Enabled Probabilistic Routing for Heterogeneous Wireless Sensor Networks
International Journal of Computer Network and Information Security
Formal Verification of the Coordinated Robust Authentication Protocol for Wireless Networks
Modeling the Performance of Wireless Sensor Networks
Mean Territorial Energy Based Clustering Protocol for Randomly Deployed Wireless Sensor Networks
Advances in Internet of Things
Network Connectivity Under Probabilistic Communication Models in Wireless Sensor Networks
Modelling Probabilistic Wireless Networks
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Modelling Probabilistic Wireless Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
