2007 |
6 | EE | Ahmed Hadj Kacem,
Amira Regayeg,
Mohamed Jmaiel:
ForMAAD: A formal method for agent-based application design.
Web Intelligence and Agent Systems 5(4): 435-454 (2007) |
2006 |
5 | | Amira Regayeg,
Slim Kallel,
Ahmed Hadj Kacem,
Mohamed Jmaiel:
ForMAAD Method: An Experimental Design for Air Traffic Control.
ITSSA 1(4): 327-334 (2006) |
2005 |
4 | EE | Amira Regayeg,
Ahmed Hadj Kacem,
Mohamed Jmaiel:
Towards a formal methodology for developing multi-agent applications using temporal Z.
AICCSA 2005: 123 |
3 | EE | Amira Regayeg,
Ahmed Hadj Kacem,
Mohamed Jmaiel:
Towards a Formal Methodology for Designing Multi-agent Applications.
MATES 2005: 153-164 |
2004 |
2 | EE | Amira Regayeg,
Ahmed Hadj Kacem,
Mohamed Jmaiel:
Specification and Verification of Multi-Agent Applications using Temporal Z.
IAT 2004: 260-266 |
1 | EE | Amira Regayeg,
Ahmed Hadj Kacem,
Mohamed Jmaiel:
Specification and Design of Multi-agent Applications Using Temporal Z.
PRIMA 2004: 228-242 |