Fathi Hamidane

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia
Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols. Int. J. Agent Oriented Softw. Eng. 2 (4) (2008)