| |
| 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] |