Yassine Gana

According to our database, Yassine Gana authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

A model-checking based approach to verify data and energy integrated networks (DEINs): toward the formal verification of 6G networks.

Ilyes Rezgui, Afef Gafsi, Imene Ben Hafaiedh, Yassine Gana

J. Reliab. Intell. Environ., December, 2025