|
Search the dblp DataBase
Mourad Maouche:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mohamed Bettaz, Mourad Maouche
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1991, pp:164-180 [Conf]
- Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui
Formal Specification of Communication Protocols with Object-Based ECATNets. [Citation Graph (0, 0)][DBLP] EUROMICRO, 1996, pp:492-0 [Conf]
- Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche
Using ECATNets for Specifying Communication Software in the OSI Framework. [Citation Graph (0, 0)][DBLP] ICCI, 1992, pp:410-413 [Conf]
- Mohamed Bettaz, Mourad Maouche
Modelling of Object Based Systems with Hidden Sorted ECATNets. [Citation Graph (0, 0)][DBLP] MASCOTS, 1995, pp:307-311 [Conf]
- Mohamed Bettaz, Mourad Maouche, M. Soulami, Madani Boukebeche
Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study. [Citation Graph (0, 0)][DBLP] MASCOTS, 1993, pp:149-154 [Conf]
- Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche
On reusing ATNet modules in protocol specification. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1994, v:27, n:2, pp:119-128 [Journal]
- Mohamed Bettaz, Mourad Maouche
Towards Mobile Z Schemas. [Citation Graph (0, 0)][DBLP] IJCSA, 2005, v:2, n:2, pp:101-117 [Journal]
Search in 0.001secs, Finished in 0.001secs
|