2008 | ||
---|---|---|
2 | EE | Yacine Kissoum, Zaidi Sahnoun: A Recursive Colored Petri Nets semantics for AUML as base of test case generation. AICCSA 2008: 785-792 |
2007 | ||
1 | EE | Yacine Kissoum, Zaidi Sahnoun: A Formal Approach for Functional and Structural Test Case Generation in Multi-Agent Systems. AICCSA 2007: 76-83 |
1 | Zaidi Sahnoun | [1] [2] |