Rim Saddem-Yagoubi

According to our database, Rim Saddem-Yagoubi authored at least 2 papers between 2020 and 2021.

Collaborative distances:

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

2021

Business Processes Meet Spatial Concerns: The sBPMN Verification Framework.

Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Model-checking precision agriculture logistics: the case of the differential harvest.

Rim Saddem-Yagoubi, Olivier Naud, Karen Godary-Dejean, Didier Crestani

Discret. Event Dyn. Syst., 2020