Fathi Hamidane

According to our database, Fathi Hamidane authored at least 1 paper in 2008.

Collaborative distances:

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

2008

Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols.

Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia

Int. J. Agent Oriented Softw. Eng., 2008