![](/img/cover-not-exists.png)
Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols
Mokhati, Farid, Badri, Mourad, Badri, Linda, Hamidane, Fathi, Bouazdia, SofianeVolume:
2
Year:
2008
Language:
english
Journal:
International Journal of Agent-Oriented Software Engineering
DOI:
10.1504/IJAOSE.2008.020139
File:
PDF, 1.14 MB
english, 2008