| 2005 |
|---|
| 7 | EE | Mohamed Bettaz,
Mourad Maouche:
Towards Mobile Z Schemas.
IJCSA 2(2): 101-117 (2005) |
| 1996 |
|---|
| 6 | EE | Mohamed Bettaz,
Mourad Maouche,
Kamel Barkaoui:
Formal Specification of Communication Protocols with Object-Based ECATNets.
EUROMICRO 1996: 492- |
| 1995 |
|---|
| 5 | | Mohamed Bettaz,
Mourad Maouche:
Modelling of Object Based Systems with Hidden Sorted ECATNets.
MASCOTS 1995: 307-311 |
| 1994 |
|---|
| 4 | EE | Mohamed Bettaz,
Mourad Maouche,
Moussa Soualmi,
Madani Boukebeche:
On reusing ATNet modules in protocol specification.
Journal of Systems and Software 27(2): 119-128 (1994) |
| 1993 |
|---|
| 3 | | Mohamed Bettaz,
Mourad Maouche,
M. Soulami,
Madani Boukebeche:
Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study.
MASCOTS 1993: 149-154 |
| 1992 |
|---|
| 2 | | Mohamed Bettaz,
Mourad Maouche,
Moussa Soualmi,
Madani Boukebeche:
Using ECATNets for Specifying Communication Software in the OSI Framework.
ICCI 1992: 410-413 |
| 1991 |
|---|
| 1 | | Mohamed Bettaz,
Mourad Maouche:
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets.
COMPASS/ADT 1991: 164-180 |
