Sofiane Bouazdia

	2008
1		Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia: Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols. IJAOSE 2(4): 422-448 (2008)

Coauthor Index

1	Linda Badri	[1]
2	Mourad Badri	[1]
3	Fathi Hamidane	[1]
4	Farid Mokhati	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page