| |
| 2006 | ||
|---|---|---|
| 2 | EE | Mohammed Berrada, Bouchaib Bounabat, Mostafa Harti: Qualitative Verification of Multi-Agents Reactive Decisional System Using Business Process Modeling Notation. IAT 2006: 747-751 |
| 1999 | ||
| 1 | EE | Bouchaib Bounabat, Rahal Romadi, Salah Labhalla: Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents. PRIMA 1999: 197-210 |
| 1 | Mohammed Berrada | [2] |
| 2 | Mostafa Harti | [2] |
| 3 | Salah Labhalla | [1] |
| 4 | Rahal Romadi | [1] |