Araaf Recta

According to our database, Araaf Recta authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Formal Modeling and Verification of Advanced Railway Route Management with Moving Blocks.

Araaf Recta, Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel

Proceedings of the 2025 9th International Conference on System Reliability and Safety (ICSRS), 2025