Yves-Marie Bozec

According to our database, Yves-Marie Bozec authored at least 1 paper in 2012.

Collaborative distances:

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

2012

Use of timed automata and model-checking to explore scenarios on ecosystem models.

Christine Largouët, Marie-Odile Cordier, Yves-Marie Bozec, Yulong Zhao, Guy Fontenelle

Environ. Model. Softw., 2012