Search the dblp DataBase

Publications of Author

1. Mohamed Bettaz
   Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols. [Citation Graph (0, 0)][DBLP]
   ADT, 1988, pp:- [Conf]
   
2. Mohamed Bettaz
   An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. [Citation Graph (0, 0)][DBLP]
   ADT, 1990, pp:11-30 [Conf]
   
3. Mohamed Bettaz
   Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic. [Citation Graph (0, 0)][DBLP]
   AICCSA, 2001, pp:386-0 [Conf]
   
4. 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]
   
5. Mohamed Bettaz, Gianna Reggio
   A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. [Citation Graph (0, 0)][DBLP]
   COMPASS/ADT, 1992, pp:98-112 [Conf]
   
6. Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui
   CIRTA: An ECATNets Based Model for Embedded Systems Specification. [Citation Graph (0, 0)][DBLP]
   ESA, 2005, pp:261-267 [Conf]
   
7. 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]
   
8. 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]
   
9. Mohamed Bettaz, Mourad Maouche
   Modelling of Object Based Systems with Hidden Sorted ECATNets. [Citation Graph (0, 0)][DBLP]
   MASCOTS, 1995, pp:307-311 [Conf]
   
10. 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]
    
11. Karim Djemame, Dennis C. Gilles, Lewis M. Mackenzie, Mohamed Bettaz
    Distributed Simulation of ECATNets: A Conservative Approach. [Citation Graph (0, 0)][DBLP]
    PDP, 1996, pp:518-525 [Conf]
    
12. Karim Djemame, Mohamed Bettaz, Dennis C. Gilles, Lewis M. Mackenzie
    Performance Comparison of High-Level Algebraic Nets Distributed Simulation Protocols. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 1996, pp:621-628 [Conf]
    
13. F. Belala, Mohamed Bettaz
    A Natural Semantic Framework for ECATNets. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 2002, v:10, n:5, pp:431-447 [Journal]
    
14. F. Belala, Mohamed Bettaz, Laure Petrucci-Dauchy
    Concurrent Systems Analysis Using ECATNets. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:2, pp:- [Journal]
    
15. 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]
    
16. Mohamed Bettaz, Mourad Maouche
    Towards Mobile Z Schemas. [Citation Graph (0, 0)][DBLP]
    IJCSA, 2005, v:2, n:2, pp:101-117 [Journal]
    
17. 
    Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. [Citation Graph (, )][DBLP]