M. Rached

According to our database, M. Rached authored at least 1 paper in 2008.

Collaborative distances:

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

2008

Spécification et vérification d'un ordonnanceur en B via les automates temporisés.

Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali

Obj. Logiciel Base données Réseaux, 2008