Odile Nasr

According to our database, Odile Nasr authored at least 2 papers between 2006 and 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

2006

Verification of a scheduler in B through a timed automata specification.

Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006