Login / Signup
Mohamed Yassine Yahyaoui
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Sensor Nodes
Model Checker
Short Term
Design Methodologies
Top Venues
Simul. Model. Pract. Theory
</>
Publications
</>
Imene Ben Hafaiedh
,
Afef Gafsi
,
Mohamed Yassine Yahyaoui
,
Yasmine Aouinette
A model-based approach for formal verification and performance evaluation of energy harvesting architectures in IoT systems: A case study of a long-term healthcare application.
Simul. Model. Pract. Theory
136 (2024)